- Finite axiomatizability of logics of distributive lattices with negation.Sérgio Marcelino & Umberto Rivieccio - forthcoming - Logic Journal of the IGPL.details
|
|
Handbook of Logical Thought in India.Sundar Sarukkai & Mihir Chakraborty (eds.) - 2018 - New Delhi, India: 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. pp. 186-201.details
|
|
Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
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
|
|
Subordination Tarski algebras.Sergio A. Celani - 2019 - Journal of Applied Non-Classical Logics 29 (3):288-306.details
|
|
Fuzzy intensional semantics.Libor Běhounek & Ondrej Majer - 2018 - Journal of Applied Non-Classical Logics 28 (4):348-388.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Natural Deduction for Post’s Logics and their Duals.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (1-2):83-100.details
|
|
The Quasi-lattice of Indiscernible Elements.Mauri Cunha do Nascimento, Décio Krause & Hércules Araújo Feitosa - 2011 - Studia Logica 97 (1):101-126.details
|
|
Temas em filosofia contemporânea II.Becker Arenhart Jonas Rafael, Conte Jaimir & Mortari Cezar Augusto - 2016 - Florianópolis, SC, Brasil: NEL/UFSC - Universidade Federal de Santa Catarina.details
|
|
Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1.Pilar Dellunde, Àngel García-Cerdaña & Carles Noguera - 2016 - Logic Journal of the IGPL 24 (3):321-345.details
|
|
Dualities for modal N4-lattices.R. Jansana & U. Rivieccio - 2014 - Logic Journal of the IGPL 22 (4):608-637.details
|
|
Propositional logic for topology-like matrices: a calculus with restricted substitution.Thomas M. Leschine - 1978 - Studia Logica 37 (2):161-165.details
|
|
Principal Congruences of Demi‐Pseudocomplemented Ockham Algebras and Applications.Hanamantagouda P. Sankappanavar - 1991 - Mathematical Logic Quarterly 37 (31-32):489-494.details
|
|
Modal logics withn-ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):193-215.details
|
|
Some Algebraic Structures Determined by Closure Operators.Ventura Verdú - 1985 - Mathematical Logic Quarterly 31 (14-18):275-278.details
|
|
On universal algebraic logic and cylindric algebras.Hajnal Andréka & István Németi - 1978 - Bulletin of the Section of Logic 7 (4):152-158.details
|
|
On equivalential fragment of the implicative extensional consequence.Jacek K. Kabzinski - 1981 - Bulletin of the Section of Logic 10 (3):135-138.details
|
|
Many-Valued Logics and Translations.Ítala M. Loffredo D'Ottaviano & Hércules de Araujo Feitosa - 1999 - Journal of Applied Non-Classical Logics 9 (1):121-140.details
|
|
The ASn× m–propositional calculus.A. V. Figallo & C. A. Sanza - 2008 - Bulletin of the Section of Logic 37 (2):67-79.details
|
|
The simplest protoalgebraic logic.Josep Maria Font - 2013 - Mathematical Logic Quarterly 59 (6):435-451.details
|
|
Elimination of Quantifiers on Łukasiewicz Logics.Néstor G. Martínez - 1989 - Mathematical Logic Quarterly 35 (1):15-21.details
|
|
Principal Congruences of Pseudocomplemented Demorgan Algebras.Hanamantagouda P. Sankappanavar - 1987 - Mathematical Logic Quarterly 33 (1):3-11.details
|
|
Pseudocomplemented and Almost Pseudocomplemented Ockham Algebras: Principal Congruences.Hanamantagouda P. Sankappanavar - 1989 - Mathematical Logic Quarterly 35 (3):229-236.details
|
|
Some Algebraic Structures Determined by Closure Operators.Ventura Verdú - 1985 - Mathematical Logic Quarterly 31 (14‐18):275-278.details
|
|
Representations of structural closure operators.José Gil-Férez - 2011 - Archive for Mathematical Logic 50 (1-2):45-73.details
|
|
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.details
|
|
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.details
|
|
On some Classes of Heyting Algebras with Successor that have the Amalgamation Property.José L. Castiglioni & Hernán J. San Martín - 2012 - Studia Logica 100 (6):1255-1269.details
|
|
Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.details
|
|
For Want of an ‘And’: A Puzzle about Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.details
|
|
Never say never.Timothy Williamson - 1994 - Topoi 13 (2):135-145.details
|
|
Brentano's reform of logic.Peter M. Simons - 1987 - Topoi 6 (1):25-38.details
|
|
Diamonds are a philosopher's best friends.Heinrich Wansing - 2002 - Journal of Philosophical Logic 31 (6):591-612.details
|
|
Distributive lattices with a dual homomorphic operation.Alasdair Urquhart - 1979 - Studia Logica 38 (2):201 - 209.details
|
|
Maximal weakly-intuitionistic logics.A. M. Sette & Walter A. Carnielli - 1995 - Studia Logica 55 (1):181 - 203.details
|
|
Strong versus weak quantum consequence operations.Jacek Malinowski - 1992 - Studia Logica 51 (1):113 - 123.details
|
|
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.details
|
|
Plain semi-post algebras as a poset-based generalization of post algebras and their representability.Nguyen Cat Ho & Helena Rasiowa - 1989 - Studia Logica 48 (4):509 - 530.details
|
|
Equivalential and algebraizable logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.details
|
|
On the degree of complexity of sentential logics.II. An example of the logic with semi-negation.Jacek Hawranek & Jan Zygmunt - 1984 - Studia Logica 43 (4):405 - 413.details
|
|
On the degree of complexity of sentential logics, III. An example of Johansson's minimal logic.Jacek Hawranek - 1987 - Studia Logica 46 (4):283 - 289.details
|
|
Two episodes in the unification of logic and topology.E. R. Grosholz - 1985 - British Journal for the Philosophy of Science 36 (2):147-157.details
|
|
The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.details
|
|
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.details
|
|
On the standard and rational completeness of some axiomatic extensions of the monoidal t-Norm logic.Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna - 2002 - Studia Logica 71 (2):199 - 226.details
|
|
Equivalential logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.details
|
|
A verisimilar ordering of theories phrased in a propositional language.Chris Brink & Johannes Heidema - 1987 - British Journal for the Philosophy of Science 38 (4):533-549.details
|
|
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.details
|
|