- Logic and Natural Selection.Jaroslav Peregrin - 2010 - Logica Universalis 4 (2):207-223.details
|
|
On three-valued implicative systems.Marian Maduch - 1978 - Studia Logica 37 (4):351 - 385.details
|
|
Psychoneural Isomorphism: From Metaphysics to Robustness.Alfredo Vernazzani - 2020 - In Fabrizio Calzavarini & Marco Viola (eds.), Neural Mechanisms: New Challenges in the Philosophy of Neuroscience. Springer.details
|
|
A Semantic Approach to Nonmonotonic Reasoning: Inference Operations and Choice, Uppsala Prints and Preprints in Philosophy, 1994, no 10.Sten Lindström - manuscriptdetails
|
|
Dynamic algebras: Examples, constructions, applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.details
|
|
(1 other version)Algebraic logic for classical conjunction and disjunction.Josep M. Font & Ventura Verdú - 1991 - Studia Logica 50 (3-4):391 - 419.details
|
|
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms.Ringo Baumann & Hannes Strass - 2022 - Artificial Intelligence 305 (C):103680.details
|
|
Über eine verallgemeinerung der robinsonschen modellvervollständigung I.Klaus Kaiser - 1969 - Mathematical Logic Quarterly 15 (1‐3):37-48.details
|
|
A conceptual construction of complexity levels theory in spacetime categorical ontology: Non-Abelian algebraic topology, many-valued logics and dynamic systems. [REVIEW]R. Brown, J. F. Glazebrook & I. C. Baianu - 2007 - Axiomathes 17 (3-4):409-493.details
|
|
A semantic approach to nonmonotonic reasoning: Inference operations and choice.Sten Lindström - 2022 - Theoria 88 (3):494-528.details
|
|
Problems of equivalence, categoricity of axioms and states description in databases.Tatjana L. Plotkin, Sarit Kraus & Boris I. Plotkin - 1998 - Studia Logica 61 (3):347-366.details
|
|
(1 other version)Fuzzy propositional logic. Algebraic approach.Slava Meskhi - 1977 - Studia Logica 36 (3):189 - 194.details
|
|
The lattice of distributive closure operators over an algebra.Josep M. Font & Ventura Verdú - 1993 - Studia Logica 52 (1):1 - 13.details
|
|
From Curry to Haskell.Felice Cardone - 2020 - Philosophy and Technology 34 (1):57-74.details
|
|
A Shared Framework for Consequence Operations and Abstract Model Theory.Christian Wallmann - 2013 - Logica Universalis 7 (2):125-145.details
|
|
Algebraic study of Sette's maximal paraconsistent logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.details
|
|
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.details
|
|
(1 other version)Products of Closure Algebras and Their Dual Spaces.G. J. Logan - 1977 - Mathematical Logic Quarterly 23 (27-30):439-441.details
|
|
(1 other version)Closure Algebras and T1‐Spaces.G. J. Logan - 1976 - Mathematical Logic Quarterly 23 (1‐6):91-92.details
|
|
Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.details
|
|
Algebraization of quantifier logics, an introductory overview.István Németi - 1991 - Studia Logica 50 (3-4):485 - 569.details
|
|
Categorical ontology of levels and emergent complexity: an introduction. [REVIEW]Ion C. Baianu - 2007 - Axiomathes 17 (3-4):209-222.details
|
|
(1 other version)Quasi‐Boolean Algebras, Empirical Continuity and Three‐Valued Logic J. P. Cleave in Bristol (Great Britain).J. P. Cleave - 1976 - Mathematical Logic Quarterly 22 (1):481-500.details
|
|
(3 other versions)Equivalential logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.details
|
|
(2 other versions)Über eine verallgemeinerung der robinsonschen modellvervollständigung I.Klaus Kaiser - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (1-3):37-48.details
|
|
(1 other version)Quasi-Boolean Algebras, Empirical Continuity and Three-Valued Logic J. P. Cleave in Bristol.J. P. Cleave - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):481-500.details
|
|
(1 other version)Logics Projectively Generated from [ℳ] = by a Set of Homomorphisms.Ventura Verdú - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):235-241.details
|
|
(1 other version)Logics Projectively Generated from [ℳ︁] = (ℱ4, [{1}]) by a Set of Homomorphisms.Ventura Verdú - 1987 - Mathematical Logic Quarterly 33 (3):235-241.details
|
|
(1 other version)Closure Algebras and T 1 ‐Spaces.G. J. Logan - 1977 - Mathematical Logic Quarterly 23 (1-6):91-92.details
|
|
Minimally generated abstract logics.Steffen Lewitzka & Andreas B. M. Brunner - 2009 - Logica Universalis 3 (2):219-241.details
|
|
Nonstandard Methods and Finiteness Conditions in Algebra.Matt Insall - 1991 - Mathematical Logic Quarterly 37 (33-35):525-532.details
|
|
Embedding semigroups in groups: not as simple as it might seem.Christopher Hollings - 2014 - Archive for History of Exact Sciences 68 (5):641-692.details
|
|
(1 other version)Hyperidentities of Dyadic Algebras.Klaus Denecke - 1989 - Mathematical Logic Quarterly 35 (4):303-310.details
|
|
(1 other version)Hyperidentities of Dyadic Algebras.Klaus Denecke - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):303-310.details
|
|
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.details
|
|
A Novel Tendency in Philosophical Logic.Andrew Schumann - 2008 - Studies in Logic, Grammar and Rhetoric 14 (27).details
|
|
Logika a logiky.Jaroslav Peregrin - manuscriptdetails
|
|