An algebraic approach to non-classical logics
From MaRDI portal
Publication:1214924
zbMath0299.02069MaRDI QIDQ1214924
Publication date: 1974
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03Bxx: General logic
03Gxx: Algebraic logic
Related Items
The expressive unary truth functions of \(n\)-valued logic, Axioms for a theory of semantic equivalence, A representation theorem for polyadic Heyting algebras, Propositional logic for topology-like matrices: A calculus with restricted substitution, A glimpse of deductive systems in algebra, Generalized sketches as a framework for completeness theorems. I-III, Priestley duality for paraconsistent Nelson's logic, Nelson algebras through Heyting ones. I, Data types over multiple-valued logics, On the structure of varieties with equationally definable principal congruences. II, Basic properties of the equivalence, Nondeterministic three-valued logic: isotonic and guarded truth-functions, Languages of similarity, Topological duality for distributive Ockham algebras, Enumerating fuzzy switching functions and free Kleene algebras, Products of finitely based varieties of Brouwerian semilattices, Logical matrices and the amalgamation property, Evaluation of combinations of conditioned information: A history, The class of extensions of Nelson's paraconsistent logic, Nelson's negation on the base of weaker versions of intuitionistic negation, Non-commutative Łukasiewicz propositional logic, Triangle algebras: A formal logic approach to interval-valued residuated lattices, On the difference between traditional and deductive fuzzy logic, Conditions for permutability of congruences in implication algebras, Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro, A common generalization for MV-algebras and Łukasiewicz-Moisil algebras, Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa, Selfextensional logics with a conjunction, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Axiomatizing the skew Boolean propositional calculus, R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety, Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability, Constructive logic with strong negation is a substructural logic. I, Boolean representation of bounded BCK-algebras, Monadic GMV-algebras, Logics with disjunction and proof by cases, Extended-order algebras, Hilbert algebras of fractions, Implicational (semilinear) logics. I: A new hierarchy, Constructive logic with strong negation is a substructural logic. II, Behavioral algebraization of logics, Predicate logical extensions of some subintuitionistic logics, The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete, Taking degrees of truth seriously, Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, Equational spectrum of Hilbert varieties, Analysis of the Einstein-Podolsky-Rosen experiment by relativistic quantum logic, Some representable De Morgan algebras, On the degree of complexity of sentential logics. II: An example of the logic with semi-negation, Some investigations of varieties of \({\mathcal N}\)-lattices, The Craig interpolation theorem for propositional logics with strong negation, Sentential logics and Maehara interpolation property, About finite predicate logic, On decidable consequence operators, The class of Kleene algebras satisfying an interpolation property and Nelson algebras, Subdirect products of totally ordered BCK-algebras, Semi-Post algebras, On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic, Subalgebras and homomorphisms of semi-Post algebras, Universality of the closure space of filters in the algebra of all subsets, Galois structures, Undecidability of relatively free Hilbert algebras, Every BCK-algebra is a set of residuables in an integral pomonoid, Congruence relations on De Morgan algebras, Algebraic structures in categorial grammar, Distributive lattices with a dual homomorphic operation, On two problems of Harvey Friedman, On the determination of all NB-structures on BCK-algebras, Modal operators on Heyting algebras, Equivalential logics. I, Resolution approximation of first-order logics, Algebraization of quantifier logics, an introductory overview, Priestley duality and quotient lattices of many-valued algebras, Strong versus weak quantum consequence operations, On functions definable in implicational algebras, Orthoimplication algebras, Matrix approach in methodology of sentential calculi, S-algebras and the degrees of maximality for three and four valued logics of Lukasiewicz, Equational axioms for classes of Heyting algebras, An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.), Degrees of maximality of Łukasiewicz-like sentential calculi, Lattices related to Post algebras and their applications to some logical systems, On three-valued implicative systems, A study of Kripke-type models for some modal logics by Gentzen's sequential method, Modifiers connect \(L\)-fuzzy sets to topological spaces, Constructive and algebraic methods of the theory of rough sets, A comparative study of fuzzy sets and rough sets, Axiomatization and completeness of uncountably valued approximation logic, \(\mathcal S\)-prealgebras, Informational interpretation of substructural propositional logics, A theory of conditional information for probabilistic inference in intelligent systems. II: Product space approach, Inducing implication relations, On the structure of varieties with equationally definable principal congruences. III, Algebraic study of Sette's maximal paraconsistent logic, An algebraic theory of normal forms, On completeness theorems for feature logics, On the lattice of deductive systems of a BL-algebra, A closer look at some subintuitionistic logics, Central internal algebras and varieties, Cyclic Elements in MV‐Algebras and Post Algebras, An algebraic approach to intuitionistic connectives, Unnamed Item, Many-Valued Logics and Translations, Formations, bihomorphisms and natural transformations, Weakly algebraizable logics, European Summer Meeting of the Association for Symbolic Logic, Paris, 1985, Finitely generated free Heyting algebras, On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences, Updates in answer set programming: An approach based on basic structural properties, Filtering unification and most general unifiers in modal logic, Approximation Schemes in Logic and Artificial Intelligence, Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness, Layman's probability theory: A calculus for reasoning with linguistic likelihood, On the axiomatic approach to freedom as opportunity: A general characterization result, Quotient structures of some implicative algebras via fuzzy implicative filters, Protoalgebraic logics, Special classes of positive implication algebras., Boolean connection algebras: A new approach to the Region-Connection Calculus, Involutory and invertible fuzzy BCK-algebras, Negative equivalence of extensions of minimal logic, On the structure of paraconsistent extensions of Johansson's logic, Delinearization of quantum logic, Two views of the theory of rough sets in finite universes, Interior algebras and varieties, Topological representations of Post algebras of order \(\omega ^ +\) and open theories based on \(\omega ^ +\)-valued Post logic, Key notions of Tarski's methodology of deductive systems, On fuzzinesstic measures of entropy on Kleene algebras, Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi, Distributive lattices with a dual homomorphic operation. II, On the structure of varieties with equationally definable principal congruences. I, Paraconsistent logics and translations, A formal model for verification of dynamic consistency of KBSs, Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic, A partially ordered extension of the integers, On relationship between modified sets, topological spaces and rough sets, Symmetrical Heyting algebras with a finite order type of operators, The abstract variable-binding calculus, Maximal weakly-intuitionistic logics, On Ockham algebras: Congruence lattices and subdirectly irreducible algebras, Classification of weak De Morgan algebras, Axiomatic extensions of the constructive logic with strong negation and the disjunction property, On finite-valued propositional logical calculi, Lattices arising in categorial investigations of Hedetniemi's conjecture, Many-valued logic and mixed integer programming, Adjoint interpretations of sentential calculi, A survey of weak connectives and the preservation of their properties by aggregations, Triangular norm based predicate fuzzy logics, Termination of logic programs with imperfect information: applications and query procedure, Some properties of epimorphisms of Hilbert algebras, Automated theorem proving by resolution in non-classical logics, A new combination procedure for the word problem that generalizes fusion decidability results in modal logics, The Beth property in algebraic logic, On the closure properties of the class of full G-models of a deductive system, Hilbert algebras as implicative partial semilattices, Formal systems of fuzzy logic and their fragments, Rough 3-valued algebras, Fuzzy logics as the logics of chains, The logic of tied implications. I: Properties, applications and representation, Beyond Rasiowa's algebraic approach to non-classical logics, Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches, Definability and interpolation in non-classical logics, Weakly implicative (fuzzy) logics. I: Basic properties, Issues on adjointness in multiple-valued logics, Equivalential and algebraizable logics, A small set of axioms for residuated logic, Axiomatization of the De Morgan type rules, VARIETIES OF EQUALITY STRUCTURES, Semilattice Pseudo-complements on Semigroups, ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS, On theories and models in fuzzy predicate logics, 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05, The deduction theorem for quantum logic—some negative results, Mathematical Fuzzy Logics, Soft Constraints Processing over Divisible Residuated Lattices, Non-classical operations hidden in classical logic, Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985, Tripos theory, Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen, PROTECTION AS A GENERAL SYSTEMS PROBLEM, THE LOGIC OF AUTOMATA, A first approach to abstract modal logics, On Special Implicative Filters
