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
47
Journal
Reports on Mathematical Logic
Publisher
[unknown2]
Year
2012
Identifiers
Volume contents
47
article:
Categorical Abstract Algebraic Logic: Coordinatization is Algebraization
(
Voutsadakis G.
)
article:
Paraconsistency and Consistency Understood as the Absence of the Negation of any Implicative Theorem
(
Robles G.
)
article:
Ultrafilters (with Dense Elements) over Closure Spaces
(
Hinnion R.
)
article:
Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic
(
Kamide N.
)
article:
Relational and Neighborhood Semantics for Intuitionistic Modal Logic
(
Kojima K.
)
article:
The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice
(
Berger J.
,
Ishihara H.
,
Schuster P.
)
article:
A Lattice of Implicative Extensions of Regular Kleene's Logics
(
Tomova N.
)
article:
Secrecy Logic: Protoalgebraic S-Secrecy Logics
(
Voutsadakis 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.