- Logic TK: Algebraic Notions from Tarski’s Consequence Operator.Hércules A. Feitosa, Mauri C. Do Nascimento & Maria Claudia C. Grácio - 2010 - Principia: An International Journal of Epistemology 14 (1):47-70.details
|
|
A partially ordered extention of the integers.George Epstein & Helena Rasiowa - 1995 - Studia Logica 54 (3):303 - 332.details
|
|
Frame constructions, truth invariance and validity preservation in many-valued modal logic.Pantelis E. Eleftheriou & Costas D. Koutras - 2005 - Journal of Applied Non-Classical Logics 15 (4):367-388.details
|
|
Strong completeness with respect to finite kripke models.Wiesław Dziobiak - 1981 - Studia Logica 40 (3):249-252.details
|
|
Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic.Wies?aw Dziobiak - 1983 - Studia Logica 42 (2-3):173 - 177.details
|
|
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.details
|
|
Explicit algebraic models for constructive and classical theories with non-standard elements.Albert G. Dragalin - 1995 - Studia Logica 55 (1):33 - 61.details
|
|
Sequent-systems and groupoid models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353 - 385.details
|
|
Sequent-systems and groupoid models. II.Kosta Došen - 1989 - Studia Logica 48 (1):41 - 65.details
|
|
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.details
|
|
Duality between modal algebras and neighbourhood frames.Kosta Došen - 1989 - Studia Logica 48 (2):219 - 234.details
|
|
A proof system for contact relation algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.details
|
|
Logic in India—Editorial Introduction.Hans Ditmarsch, Rohit Parikh & R. Ramanujam - 2011 - Journal of Philosophical Logic 40 (5):557-561.details
|
|
Fuzzy Models of First Order Languages.A. di Nola & G. Gerla - 1986 - Mathematical Logic Quarterly 32 (19‐24):331-340.details
|
|
Fuzzy Models of First Order Languages.A. di Nola & G. Gerla - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):331-340.details
|
|
Intuitionistic ε- and τ-calculi.David Devidi - 1995 - Mathematical Logic Quarterly 41 (4):523-546.details
|
|
Vague Objects and Vague Identity: New Essays on Ontic Vagueness.K. Akiba (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Aspectos metafísicos na física de Newton: Deus.Bruno Camilo de Oliveira - 2011 - In Luiz Henrique de Araújo Dutra & Alexandre Meyer Luz (eds.), Coleção rumos da epistemologia. Florianópolis, SC, Brasil: NEL/UFSC. pp. 186-201.details
|
|
On the expressiveness of the choice quantifier.S. Luttik - forthcoming - Annals of Pure and Applied Logic.details
|
|
The history of the use of ⟦.⟧-notation in natural language semantics.Brian Rabern - 2016 - Semantics and Pragmatics 9 (12).details
|
|
Completeness theorems, representation theorems: what's the difference?David C. Makinson - unknown - Hommage À Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz, Ed. Rønnow-Rasmussen Et Al. 2007.details
|
|
All the mathematics in the world: logical validity and classical set theory.David Charles McCarty - 2017 - Philosophical Problems in Science 63:5-29.details
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.details
|
|
Advances in modal logic, volume.Rajeev Gore - unknowndetails
|
|
The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space.Robert Goldblatt & Ian Hodkinson - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 342-361.details
|
|