Reports on Mathematical Logic,2013, Number 48

Rok wydania: 2013
Redaktorzy: Paweł M. Idziak, Andrzej Wroński

Artykuły

Ilość
Sortuj według

On some Properties of quasi-MV √ Algebras and quasi-MV Algebras. Part IV

Reports on Mathematical Logic, 2013, Number 48, s. 3-36
Data publikacji online: 26 listopada 2013
DOI 10.4467/20842589RM.13.001.1201

Kronecker in Contemporary Mathematics, General Arithmetic as a Foundational Programme

Reports on Mathematical Logic, 2013, Number 48, s. 37–65
Data publikacji online: 26 listopada 2013
DOI 10.4467/20842589RM.13.002.1254

Jankov-style Formulas and Refutation Systems

Reports on Mathematical Logic, 2013, Number 48, s. 67–80
Data publikacji online: 26 listopada 2013
DOI 10.4467/20842589RM.13.003.1255

A Semantic Analysis of some Distributive Logics with Negation

Reports on Mathematical Logic, 2013, Number 48, s. 81–100
Data publikacji online: 26 listopada 2013
DOI 10.4467/20842589RM.13.004.1256

Tableau-based Bisimulation Invariance Testing

Reports on Mathematical Logic, 2013, Number 48, s. 101–115
Data publikacji online: 26 listopada 2013
DOI 10.4467/20842589RM.13.005.1257

Errata on “On the Variety of Heyting Algebras with Successor Generated by all Finite Chains”

Reports on Mathematical Logic, 2013, Number 48, s. 117-120
Data publikacji online: 26 listopada 2013
DOI 10.4467/20842589RM.12.006.0687