GEODESIC
Revues
Séminaires
Livres
Congrès
Sources
Discussiones Mathematicae Graph Theory
Tome 44 (2015)
Sommaire du
Fascicule no. 1-2
A Note on some Characterization of Distributive Lattices of Finite Length
Łazarz, Marcin
;
Siemieńczuk, Krzysztof
An Observation Concerning Porte’s Rule in Modal Logic
French, Rohan
;
Humberstone, Lloyd
Categorical Abstract Algebraic Logic: Referential π-Institutions
Voutsadakis, George
Closure Operators on Complete Almost Distributive Lattices-III
Rao, Calyampudi Radhakrishna
;
Undurthi, Venugopalam
Non-Fregean Logics of Analytic Equivalence (I)
Biłat, Andrzej
Non-Fregean Logics of Analytic Equivalence (II)
Biłat, Andrzej
On Some Applied First-Order Theories which Can Be Represented by Definitions
Shalack, Vladimir
Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
Dzik, Wojciech
;
Wróbel, Beniamin
Sommaire du
Fascicule no. 3-4
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
Gao, Feng
;
Tourlakis, George
Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics
Pynko, Alexej P
On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames
Kostrzycka, Zofia
Simple Logics for Basic Algebras
Cı̅rulis, Ja̅nis
Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras
Figallo, Aldo V
;
Pelaitay, Gustavo