An algebraic approach to non-classical logics

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03Bxx) Algebraic logic (03Gxx)

Cited in

(only showing first 100 items - show all)

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
Special classes of positive implication algebras.
Boolean connection algebras: A new approach to the Region-Connection Calculus
Involutory and invertible fuzzy BCK-algebras
Natural deduction for Post's logics and their duals
Sequent calculi for semi-De Morgan and De Morgan algebras
Algebraic structures in the vicinity of pre-rough algebra and their logics. II
Admissibility in positive logics
Expanding \(\text{FL}_{ew}\) with a Boolean connective
On congruences in weak implicative semi-lattices
On derived algebras and subvarieties of implication zroupoids
Selfextensional logics with a distributive nearlattice term
A semantic hierarchy for intuitionistic logic
Semi-intuitionistic logic with strong negation
Extension properties and subdirect representation in abstract algebraic logic
Negative equivalence of extensions of minimal logic
On the structure of paraconsistent extensions of Johansson's logic
Kleene algebra of partial predicates
Symmetric implication zroupoids and identities of Bol-Moufang type
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

This page was built for publication: An algebraic approach to non-classical logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1214924)