Pages that link to "Item:Q1302288"

The following pages link to Definitional equivalence and algebraizability of generalized logical systems (Q1302288):

Displaying 24 items.

• On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
• Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
• A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
• Selfextensional logics with a conjunction (Q865045) (← links)
• Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
• Implicational classes of De Morgan lattices (Q1301839) (← links)
• Characterizing equivalential and algebraizable logics by the Leibniz operator (Q1357379) (← links)
• Algebraic semantics for deductive systems (Q1422450) (← links)
• On definability of the equality in classes of algebras with an equivalence relation (Q1577361) (← links)
• Many-place sequent calculi for finitely-valued logics (Q1931344) (← links)
• Order algebraizable logics (Q1935866) (← links)
• Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
• The original sin of proof-theoretic semantics (Q2690170) (← links)
• Subquasivarieties of implicative locally-finite quasivarieties (Q3066295) (← links)
• Equivalence of consequence relations: an order-theoretic and categorical perspective (Q3399178) (← links)
• Correspondences between gentzen and hilbert systems (Q3410681) (← links)
• (Q3513253) (← links)
• A Non-finitary Sentential Logic that is Elementarily Algebraizable (Q3583103) (← links)
• Subprevarieties versus extensions. Application to the logic of paradox (Q4508259) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
• Applications of Kolmogorov complexity to computable model theory (Q5422317) (← links)
• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules (Q5947553) (← links)
• Intuitionistic logic is a connexive logic (Q6127186) (← links)