Skip to main menu
Scroll to content
PL
|
EN
Full-text resources of PSJD and other databases are now available in the new Library of Science.
Visit
https://bibliotekanauki.pl
Search
Browse
About
test
Preferences
Polski
English
Language
enabled
[disable]
Abstract
10
20
50
100
Number of results
Link to site
Copy
Article title
48
Journal
Reports on Mathematical Logic
Publisher
[unknown2]
Year
2013
Identifiers
Volume contents
48
article:
Errata on “On the Variety of Heyting Algebras with Successor Generated by all Finite Chains”
(
Castiglioni J. L.
,
San Martín H. J.
)
article:
On some Properties of quasi-MV √ Algebras and quasi-MV Algebras. Part IV
(
Jipsen P.
,
Ledda A.
,
Paoli F.
)
article:
Jankov-style Formulas and Refutation Systems
(
Citkin A.
)
article:
A Semantic Analysis of some Distributive Logics with Negation
(
Celani S. A.
)
article:
Tableau-based Bisimulation Invariance Testing
(
Perkov T.
)
article:
Kronecker in Contemporary Mathematics, General Arithmetic as a Foundational Programme
(
Gauthier Y.
)
open years
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.