Pages that link to "Item:Q1214924"

The following pages link to An algebraic approach to non-classical logics (Q1214924):

Displaying 50 items.

• Almost structural completeness; an algebraic approach (Q278762) (← links)
• Representations through a monoid on the set of fuzzy implications (Q279330) (← links)
• On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
• A note on regular De Morgan semi-Heyting algebras (Q305161) (← links)
• The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
• Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
• Bilattices with implications (Q368472) (← links)
• On Gentzen relations associated with finite-valued logics preserving degrees of truth (Q368479) (← links)
• Abstract valuation semantics (Q368484) (← links)
• Information completeness in Nelson algebras of rough sets induced by quasiorders (Q383570) (← links)
• Categorical foundations of variety-based topology and topological systems (Q419052) (← links)
• Canonical formulas for a paraconsistent analog of the Scott logic (Q431702) (← links)
• Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
• Priestley duality for bilattices (Q454389) (← links)
• The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
• A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
• Two axiomatizations of Nelson algebras. (Q491776) (← links)
• The semi Heyting-Brouwer logic (Q495844) (← links)
• Algebraic structures in the vicinity of pre-rough algebra and their logics (Q507761) (← links)
• On implicator groupoids (Q522223) (← links)
• The expressive unary truth functions of \(n\)-valued logic (Q558444) (← links)
• Axioms for a theory of semantic equivalence (Q580325) (← links)
• A representation theorem for polyadic Heyting algebras (Q585199) (← links)
• Propositional logic for topology-like matrices: A calculus with restricted substitution (Q599051) (← links)
• A glimpse of deductive systems in algebra (Q607435) (← links)
• Representations of structural closure operators (Q627430) (← links)
• The quasi-lattice of indiscernible elements (Q631517) (← links)
• Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
• Representation of Nelson algebras by rough sets determined by quasiorders (Q647309) (← links)
• Varieties of interlaced bilattices (Q647327) (← links)
• Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
• Priestley duality for paraconsistent Nelson's logic (Q708928) (← links)
• Nelson algebras through Heyting ones. I (Q750474) (← links)
• Data types over multiple-valued logics (Q752687) (← links)
• On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
• Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
• On the free frontal implicative semilattice extension of a frontal Hilbert algebra (Q780095) (← links)
• Basic properties of the equivalence (Q786810) (← links)
• Nondeterministic three-valued logic: isotonic and guarded truth-functions (Q792750) (← links)
• Languages of similarity (Q793728) (← links)
• Topological duality for distributive Ockham algebras (Q793767) (← links)
• Enumerating fuzzy switching functions and free Kleene algebras (Q796494) (← links)
• Products of finitely based varieties of Brouwerian semilattices (Q797602) (← links)
• Logical matrices and the amalgamation property (Q800348) (← links)
• Evaluation of combinations of conditioned information: A history (Q806152) (← links)
• The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
• Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089) (← links)
• Non-commutative Łukasiewicz propositional logic (Q818518) (← links)
• Polarity semantics for negation as a modal operator (Q831215) (← links)
• Triangle algebras: A formal logic approach to interval-valued residuated lattices (Q835104) (← links)