On the closure properties of the class of full G-models of a deductive system

DOI10.1007/s11225-006-8304-6zbMath1106.03060OpenAlexW2086425517MaRDI QIDQ2433101

Ramon Jansana, Josep Maria Font, Don Pigozzi

Publication date: 27 October 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-8304-6

zbMATH Keywords

abstract algebraic logicalgebraizable logicprotoalgebraic logicLeibniz congruencegeneralized matrixfull generalized modelfully adequate Gentzen systemTarski congruence

Mathematics Subject Classification ID

Algebraic logic (03G99) Abstract deductive systems (03B22)

Related Items (8)

COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC ⋮ Locally tabular \(\neq \) locally finite ⋮ A Mathematical Life ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ Deduction-Detachment Theorem and Gentzen-Style Deductive Systems ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ The simplest protoalgebraic logic ⋮ Update to ``A survey of abstract algebraic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Filter distributive logics
• Algebraic aspects of deduction theorems
• Local deductions theorems
• Reduced products of logical matrices
• Varieties with equationally definable principal congruences
• Equivalential logics. I
• A deduction theorem schema for deductive systems of propositional logics
• The deduction theorem for Lukasiewicz many-valued propositional calculi
• An algebraic approach to non-classical logics
• Some theorems on structural consequence operations
• Matrix approach in methodology of sentential calculi
• Deduction theorems for RM and its extensions
• On elementary equivalence for equality-free logic
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Characterizing classes defined with equality
• Algebraic study of two deductive systems of relevance logic
• A complete many-valued logic with product-conjunction
• Definability of Leibniz equality
• Equivalential and algebraizable logics
• Some characterization theorems for infinitary universal Horn logic without equality
• Note on algebraic models for relevance logic
• Algebraizable logics
• A first approach to abstract modal logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• An abstract algebraic logic approach to tetravalent modal logics
• Weakly algebraizable logics
• The independence of connectives
• Leibniz filters and the strong version of a protoalgebraic logic

This page was built for publication: On the closure properties of the class of full G-models of a deductive system