- Dualities for modal N4-lattices.R. Jansana & U. Rivieccio - 2014 - Logic Journal of the IGPL 22 (4):608-637.details
|
|
Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1976 - Mathematical Logic Quarterly 23 (7‐12):131-136.details
|
|
Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):131-136.details
|
|
Symmetrical Heyting algebras with a finite order type of operators.Luisa Iturrioz - 1995 - Studia Logica 55 (1):89 - 98.details
|
|
Symmetrical Heyting algebras with operators.Luisa Iturrioz - 1983 - Mathematical Logic Quarterly 29 (2):33-70.details
|
|
Semicomplemented Lattices and the Finite Model Property.I. L. Humberstone & A. J. Lock - 1986 - Mathematical Logic Quarterly 32 (25‐30):431-437.details
|
|
Semicomplemented Lattices and the Finite Model Property.I. L. Humberstone & A. J. Lock - 1986 - Mathematical Logic Quarterly 32 (25-30):431-437.details
|
|
Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau).Lloyd Humberstone - 2005 - Theoria 71 (3):241-262.details
|
|
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems.Prosenjit Howlader & Mohua Banerjee - 2023 - Journal of Logic, Language and Information 32 (1):117-146.details
|
|
Semi-post algebras.Nguyen Cat Ho & Helena Rasiowa - 1987 - Studia Logica 46 (2):149 - 160.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
|
|
Finite replacement and finite Hilbert-style axiomatizability.B. Herrmann & W. Rautenberg - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):327-344.details
|
|
Finite replacement and finite hilbert‐style axiomatizability.B. Herrmann & W. Rautenberg - 1992 - Mathematical Logic Quarterly 38 (1):327-344.details
|
|
Equivalential and algebraizable logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.details
|
|
Axiomatization of the de Morgan type rules.B. Herrmann & W. Rautenberg - 1990 - Studia Logica 49 (3):333 - 343.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 Boolean (k, m, p1, …, pm)‐Shift‐Registers II (An Algebraic Approach).Zdzisław Grodzki - 1977 - Mathematical Logic Quarterly 23 (25‐26):383-386.details
|
|
The Boolean ( k, m, p_ 1, …, _p m )‐Shift‐Registers II (An Algebraic Approach).Zdzisław Grodzki - 1977 - Mathematical Logic Quarterly 23 (25-26):383-386.details
|
|
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches.Siegfried Gottwald - 2006 - Studia Logica 82 (2):211-244.details
|
|
The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.details
|
|
Selfextensional logics with a distributive nearlattice term.Luciano J. González - 2019 - Archive for Mathematical Logic 58 (1-2):219-243.details
|
|
Topological duality for distributive ockham algebras.Moshe S. Goldberg - 1983 - Studia Logica 42 (1):23 - 31.details
|
|
Is there a neutral metalanguage?Rea Golan - 2019 - Synthese 198 (Suppl 20):4831-4858.details
|
|
Representations of structural closure operators.José Gil-Férez - 2011 - Archive for Mathematical Logic 50 (1-2):45-73.details
|
|
Modal logics with n‐ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Mathematical Logic Quarterly 36 (3):193-215.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
|
|
Canonical extensions for congruential logics with the deduction theorem.Mai Gehrke, Ramon Jansana & Alessandra Palmigiano - 2010 - Annals of Pure and Applied Logic 161 (12):1502-1519.details
|
|
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.details
|
|
Linearization of the BCK-logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2000 - Studia Logica 65 (1):31-51.details
|
|
The simplest protoalgebraic logic.Josep Maria Font - 2013 - Mathematical Logic Quarterly 59 (6):435-451.details
|
|
On Special Implicative Filters.Josep Maria Font - 1999 - Mathematical Logic Quarterly 45 (1):117-126.details
|
|
On the Closure Properties of the Class of Full G-models of a Deductive System.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2006 - Studia Logica 83 (1-3):215-278.details
|
|
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.details
|
|
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.Aldo Figallo-Orellano, Miguel Peréz-Gaspar & Juan Manuel Ramírez-Contreras - 2022 - Studia Logica 110 (5):1291-1325.details
|
|
A New Algebraic Version of Monteiro’s Four-Valued Propositional Calculus.Aldo Victorio Figallo, Estela Bianco & Alicia Ziliani - 2014 - Open Journal of Philosophy 4 (3):319-331.details
|
|
An Algebraic Study of Tense Operators on Nelson Algebras.A. V. Figallo, G. Pelaitay & J. Sarmiento - 2020 - Studia Logica 109 (2):285-312.details
|
|
A Categorical Equivalence for Tense Nelson Algebras.Aldo V. Figallo, Jonathan Sermento & Gustavo Pelaitay - 2021 - Studia Logica 110 (1):241-263.details
|
|
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
|
|
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
|
|
A partially ordered extention of the integers.George Epstein & Helena Rasiowa - 1995 - Studia Logica 54 (3):303 - 332.details
|
|
Review of protoalgebraic logics by J. Czelakowski. [REVIEW]Raimon Elgueta - 2003 - Studia Logica 74 (1-2):313 - 342.details
|
|
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.details
|
|
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.details
|
|
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.details
|
|
Paraconsistent modal logics.Umberto Rivieccio - 2011 - Electronic Notes in Theoretical Computer Science 278:173-186.details
|
|
Varieties of interlaced bilattices.Umberto Rivieccio, Ramon Jansana & Felix Bou Moliner - 2011 - Algebra Universalis 66 (1-2):115-141.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
|
|
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.details
|
|