scientific article; zbMATH DE number 945663
From MaRDI portal
Publication:4715441
Recommendations
- scientific article; zbMATH DE number 1303458
- Algebraic semantics for hybrid logics
- Algebraic semantics for deductive systems
- Algebraic semantics for a modal logic close to S1
- Algebraic semantics for coalgebraic logics
- A non-finitary sentential logic that is elementarily algebraizable
- scientific article; zbMATH DE number 4035794
- Algebraic semantics for quasi-classical modal logics
- A computable semantics for general logic programs
- Algebraic semantics for Nelson's logic \(\mathcal{S}\)
Cited in
(only showing first 100 items - show all)- Minimally generated abstract logics
- Algorithmic correspondence and canonicity for non-distributive logics
- Categorical abstract algebraic logic: The categorical Suszko operator
- Deduction-detachment theorem and Gentzen-style deductive systems
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
- Selfextensional logics with a distributive nearlattice term
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
- The logic of distributive nearlattices
- A Generalization of Maksimova’s Criterion for the Disjunction Property
- Abstract algebraic logic. An introductory chapter
- A new hierarchy of infinitary logics in abstract algebraic logic
- Equivalential and algebraizable logics
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- \(M\)-sets and the representation problem
- Implicit connectives of algebraizable logics
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
- Algebraizable logics with a strong conjunction and their semi-lattice based companions
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics
- A relational semantics for the logic of bounded lattices
- Weakly algebraizable logics
- A coalgebraic view on positive modal logic
- Adjoint interpretations of sentential calculi
- On the logic of distributive nearlattices
- Epimorphism surjectivity in varieties of Heyting algebras
- scientific article; zbMATH DE number 1960347 (Why is no real title available?)
- Categorical abstract algebraic logic: pseudo-referential matrix system semantics
- Consequence and degrees of truth in many-valued logic
- A study of truth predicates in matrix semantics
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
- Correspondences between gentzen and hilbert systems
- Almost structural completeness; an algebraic approach
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Implicational (semilinear) logics. III: Completeness properties
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
- An algebraic view of super-Belnap logics
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- A note on natural extensions in abstract algebraic logic
- Fregean logics
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- On the deductive system of the order of an equationally orderable quasivariety
- An abstract algebraic logic approach to tetravalent modal logics
- An algebraic study of exactness in partial contexts
- Selfextensional logics with a conjunction
- Non-distributive relatives of ETL and NFL
- Protoalgebraic logics
- Implicational (semilinear) logics. I: A new hierarchy
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- Categorical abstract algebraic logic: The largest theory system included in a theory family
- Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
- A coalgebraic perspective on logical interpretations
- Abstract logics as dialgebras
- Canonical extensions for congruential logics with the deduction theorem
- A short overview of hidden logic
- Beyond Rasiowan systems: unital deductive systems
- Algebraic methods for granular rough sets
- Taking degrees of truth seriously
- On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences
- The semantic isomorphism theorem in abstract algebraic logic
- An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic
- Inconsistency lemmas in algebraic logic
- An Abstract Algebraic Logic View on Judgment Aggregation
- Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties
- THE LATTICE OF SUPER-BELNAP LOGICS
- Abstract modal logics
- Logics of left variable inclusion and Płonka sums of matrices
- A note on congruences of semilattices with sectionally finite height.
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
- Compatibly involutive residuated lattices and the Nelson identity
- Categorical abstract algebraic logic: models of -institutions
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
- ON EQUATIONAL COMPLETENESS THEOREMS
- The poset of all logics. III: Finitely presentable logics
- scientific article; zbMATH DE number 2070193 (Why is no real title available?)
- Towards Logics of Some Rough Perspectives of Knowledge
- A computational glimpse at the Leibniz and Frege hierarchies
- Categorical abstract algebraic logic: Partially ordered algebraic systems
- Fregean logics with the multiterm deduction theorem and their algebraization
- On a logico-algebraic approach to AGM belief contraction theory
- On the complexity of the Leibniz hierarchy
- On definability of connectives and modal logics over \textbf{FDE}
- Logics from \(\sqrt{\prime}\) quasi-MV algebras
- Algebraic study of two deductive systems of relevance logic
- Nothing but the truth
- The strong version of a sentential logic
- Locally tabular locally finite
- Characterizing finite-valuedness
- On the closure properties of the class of full G-models of a deductive system
- Possible worlds in use
- A generalization of the Routley-Meyer semantic framework
- An abstract approach to consequence relations
- The Suszko operator relative to truth‐equational logics
- A non-finitary sentential logic that is elementarily algebraizable
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
- What is a non-truth-functional logic?
- Generalized Disjunctive Languages and Universal Algebra
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4715441)
