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)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03Bxx) Algebraic logic (03Gxx)
Related Items (only showing first 100 items - show all)
Sentential logics and Maehara interpolation property ⋮ Non-commutative Łukasiewicz propositional logic ⋮ Almost structural completeness; an algebraic approach ⋮ Representations through a monoid on the set of fuzzy implications ⋮ Polarity semantics for negation as a modal operator ⋮ Triangle algebras: A formal logic approach to interval-valued residuated lattices ⋮ On the difference between traditional and deductive fuzzy logic ⋮ About finite predicate logic ⋮ On decidable consequence operators ⋮ On the deductive system of the order of an equationally orderable quasivariety ⋮ The class of Kleene algebras satisfying an interpolation property and Nelson algebras ⋮ Conditions for permutability of congruences in implication algebras ⋮ A note on regular De Morgan semi-Heyting 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 ⋮ The semantic isomorphism theorem in abstract algebraic logic ⋮ Undecidability of relatively free Hilbert algebras ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ 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 ⋮ Every BCK-algebra is a set of residuables in an integral pomonoid ⋮ 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 ⋮ Propositional logic for topology-like matrices: A calculus with restricted substitution ⋮ Bilattices with implications ⋮ On Gentzen relations associated with finite-valued logics preserving degrees of truth ⋮ Abstract valuation semantics ⋮ Congruence relations on De Morgan algebras ⋮ Axiomatizing the skew Boolean propositional calculus ⋮ A glimpse of deductive systems in algebra ⋮ Information completeness in Nelson algebras of rough sets induced by quasiorders ⋮ 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 ⋮ Representations of structural closure operators ⋮ Categorical foundations of variety-based topology and topological systems ⋮ The quasi-lattice of indiscernible elements ⋮ Modal operators on Heyting algebras ⋮ Canonical formulas for a paraconsistent analog of the Scott logic ⋮ Algebraic models of deviant modal operators based on De Morgan and Kleene lattices ⋮ Canonical extensions for congruential logics with the deduction theorem ⋮ R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs ⋮ An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics ⋮ Equivalential logics. I ⋮ Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety ⋮ Representation of Nelson algebras by rough sets determined by quasiorders ⋮ Varieties of interlaced bilattices ⋮ Priestley duality for bilattices ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability ⋮ A survey of fuzzy implication algebras and their axiomatization ⋮ 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 ⋮ Two axiomatizations of Nelson algebras. ⋮ The semi Heyting-Brouwer logic ⋮ Generalized sketches as a framework for completeness theorems. I-III ⋮ Algebraic structures in the vicinity of pre-rough algebra and their logics ⋮ On implicator groupoids ⋮ Extended-order algebras ⋮ Hilbert algebras of fractions ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ The expressive unary truth functions of \(n\)-valued logic ⋮ Priestley duality for paraconsistent Nelson's logic ⋮ Axioms for a theory of semantic equivalence ⋮ A representation theorem for polyadic Heyting algebras ⋮ 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 ⋮ Nelson algebras through Heyting ones. I ⋮ Data types over multiple-valued logics ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ On the structure of varieties with equationally definable principal congruences. II ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Equational spectrum of Hilbert varieties ⋮ On the free frontal implicative semilattice extension of a frontal Hilbert algebra ⋮ Basic properties of the equivalence ⋮ Analysis of the Einstein-Podolsky-Rosen experiment by relativistic quantum logic ⋮ Nondeterministic three-valued logic: isotonic and guarded truth-functions ⋮ Languages of similarity ⋮ Topological duality for distributive Ockham algebras ⋮ Some representable De Morgan algebras ⋮ Enumerating fuzzy switching functions and free Kleene algebras ⋮ Products of finitely based varieties of Brouwerian semilattices ⋮ Logical matrices and the amalgamation property ⋮ On the degree of complexity of sentential logics. II: An example of the logic with semi-negation ⋮ Evaluation of combinations of conditioned information: A history ⋮ Some investigations of varieties of \({\mathcal N}\)-lattices ⋮ The Craig interpolation theorem for propositional logics with strong negation ⋮ The class of extensions of Nelson's paraconsistent logic ⋮ Nelson's negation on the base of weaker versions of intuitionistic negation
This page was built for publication: An algebraic approach to non-classical logics
