Artykuły

Ilość
Sortuj według

Secrecy Logic: Protoalgebraic S-Secrecy Logics

Reports on Mathematical Logic, Number 47, s. 3-28
Data publikacji online: 23 sierpnia 2012
DOI 10.4467/20842589RM.12.001.0682

Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic

Reports on Mathematical Logic, Number 47, s. 29-61
Data publikacji online: 23 sierpnia 2012
DOI 10.4467/20842589RM.12.002.0683

The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice

Reports on Mathematical Logic, Number 47, s. 63-86
Data publikacji online: 23 sierpnia 2012
DOI 10.4467/20842589RM.12.003.0684

Relational and Neighborhood Semantics for Intuitionistic Modal Logic

Reports on Mathematical Logic, Number 47, s. 87-113
Data publikacji online: 23 sierpnia 2012
DOI 10.4467/20842589RM.12.004.0685

Ultrafilters (with Dense Elements) over Closure Spaces

Reports on Mathematical Logic, Number 47, s. 115-124
Data publikacji online: 23 sierpnia 2012
DOI 10.4467/20842589RM.12.005.0686

Categorical Abstract Algebraic Logic: Coordinatization is Algebraization

Reports on Mathematical Logic, Number 47, s. 125-145
DOI 10.4467/20842589RM.12.006.0687

Paraconsistency and Consistency Understood as the Absence of the Negation of any Implicative Theorem

Reports on Mathematical Logic, Number 47, s. 147-171
Data publikacji online: 28 sierpnia 2012
DOI 10.4467/20842589RM.12.007.0688

A Lattice of Implicative Extensions of Regular Kleene's Logics

Reports on Mathematical Logic, Number 47, s. 173-182
Data publikacji online: 28 sierpnia 2012
DOI 10.4467/20842589RM.12.008.0689