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)- Constructive logic with strong negation is a substructural logic. II
- Taking degrees of truth seriously
- What is a non-truth-functional logic?
- A computational glimpse at the Leibniz and Frege hierarchies
- The strong version of a sentential logic
- Locally tabular locally finite
- An algebraic view of super-Belnap logics
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- Selfextensional logics with a distributive nearlattice term
- On the complexity of the Leibniz hierarchy
- Implicational (semilinear) logics. III: Completeness properties
- Implicit connectives of algebraizable logics
- Fregean logics with the multiterm deduction theorem and their algebraization
- Characterizing finite-valuedness
- The logic of distributive nearlattices
- Algebraic study of two deductive systems of relevance logic
- Abstract modal logics
- Minimally generated abstract logics
- Algebraizable logics with a strong conjunction and their semi-lattice based companions
- Nothing but the truth
- Non-distributive relatives of ETL and NFL
- The poset of all logics. III: Finitely presentable logics
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
- On Hilbert algebras generated by the order
- An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic
- Epimorphism surjectivity in varieties of Heyting algebras
- Logics of left variable inclusion and Płonka sums of matrices
- On a logico-algebraic approach to AGM belief contraction theory
- Beyond Rasiowan systems: unital deductive systems
- Adjoint interpretations of sentential calculi
- Algorithmic correspondence and canonicity for non-distributive logics
- Compatibly involutive residuated lattices and the Nelson identity
- \(M\)-sets and the representation problem
- An algebraic study of exactness in partial contexts
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
- A new hierarchy of infinitary logics in abstract algebraic logic
- On the closure properties of the class of full G-models of a deductive system
- Beyond Rasiowa's algebraic approach to non-classical logics
- Categorical abstract algebraic logic: Partially ordered algebraic systems
- Equivalential and algebraizable logics
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
- Almost structural completeness; an algebraic approach
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Abstract logics as dialgebras
- Consequence and degrees of truth in many-valued logic
- On the deductive system of the order of an equationally orderable quasivariety
- Abstract algebraic logic. An introductory textbook
- Generalized Disjunctive Languages and Universal Algebra
- The semantic isomorphism theorem in abstract algebraic logic
- Algebraic methods for granular rough sets
- On definability of connectives and modal logics over \textbf{FDE}
- Correspondences between gentzen and hilbert systems
- Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
- An Abstract Algebraic Logic View on Judgment Aggregation
- Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
- A non-finitary sentential logic that is elementarily algebraizable
- Bilattices with implications
- Categorical abstract algebraic logic: referential algebraic semantics
- A coalgebraic perspective on logical interpretations
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- scientific article; zbMATH DE number 3949705 (Why is no real title available?)
- scientific article; zbMATH DE number 67044 (Why is no real title available?)
- Logics from \(\sqrt{\prime}\) quasi-MV algebras
- On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics
- scientific article; zbMATH DE number 1062291 (Why is no real title available?)
- scientific article; zbMATH DE number 1960347 (Why is no real title available?)
- scientific article; zbMATH DE number 2070193 (Why is no real title available?)
- An abstract algebraic logic approach to tetravalent modal logics
- Weakly algebraizable logics
- Categorical abstract algebraic logic: pseudo-referential matrix system semantics
- A study of truth predicates in matrix semantics
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
- An infinity of super-Belnap logics
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- Deduction-detachment theorem and Gentzen-style deductive systems
- A short overview of hidden logic
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
- A note on congruences of semilattices with sectionally finite height.
- scientific article; zbMATH DE number 859793 (Why is no real title available?)
- scientific article; zbMATH DE number 868084 (Why is no real title available?)
- A note on natural extensions in abstract algebraic logic
- A generalization of the Routley-Meyer semantic framework
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
- ON EQUATIONAL COMPLETENESS THEOREMS
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
- Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties
- A Generalization of Maksimova’s Criterion for the Disjunction Property
- A relational semantics for the logic of bounded lattices.
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- Towards Logics of Some Rough Perspectives of Knowledge
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences
- An abstract approach to consequence relations
- Inconsistency lemmas in algebraic logic
- Categorical abstract algebraic logic: The categorical Suszko operator
- Categorical abstract algebraic logic: The largest theory system included in a theory family
- Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
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)
