Artykuły

Ilość
Sortuj według

Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning

Reports on Mathematical Logic, 2017, Number 52, s. 3-44
Data publikacji online: 30 sierpnia 2017
DOI 10.4467/20842589RM.17.001.7139

A Non-Self-Referential Paradox in Epistemic Game Theory

Reports on Mathematical Logic, 2017, Number 52, s. 45-56
Data publikacji online: 30 sierpnia 2017
DOI 10.4467/20842589RM.17.002.7140

A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logic

Reports on Mathematical Logic, 2017, Number 52, s. 93-124
Data publikacji online: 30 sierpnia 2017
DOI 10.4467/20842589RM.17.006.7144

Categorical Abstract Algebraic Logic: Wojcicki's Conjecture and Malinowski's Theorem

Reports on Mathematical Logic, 2017, Number 52, s. 61-74
Data publikacji online: 30 sierpnia 2017
DOI 10.4467/20842589RM.17.004.7142

A note of the full generalized models of the extensions of a logic

Reports on Mathematical Logic, 2017, Number 52, s. 57-68
Data publikacji online: 30 sierpnia 2017
DOI 10.4467/20842589RM.17.003.7141

Refutations in Wansing’s Logic

Reports on Mathematical Logic, 2017, Number 52, s. 75-91
Data publikacji online: 30 sierpnia 2017
DOI 10.4467/20842589RM.17.005.7143