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
45
Journal
Reports on Mathematical Logic
Publisher
[unknown2]
Year
2010
Identifiers
Volume contents
45
article:
On Frontal Heyting Algebras
(
Castiglioni J. L.
,
Sagastume M. S.
,
San Martín H. J.
)
article:
On the Variety of Heyting Algebras with Successor Generated by All Finite Chains
(
Castiglioni J. L.
,
San Martín H. J.
)
article:
A 2-Categorical Framework for the Syntax and Semantics of Many-Sorted Equational Logic
(
Vidal J. C.
,
Tur J. S.
)
article:
Automating and Computing Paraconsistent Reasoning: Contraction-Free, Resolution and Type Systems
(
Kamide N.
)
article:
Minimal Non-Relevant Logics without the K Axiom II. Negation Introduced as a Primitive Unary Connective
(
Robles G.
)
article:
On the Lattice of p-Consequences
(
Frankowski S.
)
article:
On some Properties of Quasi MV Algebras and √quasi-MV Algebras. Part III.
(
Kowalski T.
)
article:
Some Locally Tabular Logics with Contraction and Mingle
(
Hsieh A.-n.
)
article:
Complementary Pair of Quasi-antiorders
(
Crvenković S.
,
Mitrović M.
,
Romano D. A.
)
article:
Definability in Infinitary Languages and Invariance by Automorphisms
(
Rodrigues A. A. M.
,
Filho R. C. M.
,
de Souza E. G.
)
open years
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.