The lattice of strengthenings of a strongly finite consequence operation

DOI10.1007/BF01874707MaRDI QIDQ1161517zbMATH OpenOpenAlexFDO

Authors W. Dziobiak

Publication date 1981

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01874707

zbMATH Keywords

algebraicnessfinite approximabilitystrong finitisticitystructural strengthenings

Mathematics Subject Classification ID

General logic (03B99)

Cites work

• A note on direct products and ultraproducts of logical matrices
• A Note on the Implicational Class Generated by a Class of Structures
• A representation theorem for the lattice of standard consequence operations
• A strongly finite logic with infinite degree of maximality
• A theorem about infinite-valued sentential logic
• Connections between some notions of completeness of structural propositional calculi
• Degrees of maximality of Łukasiewicz-like sentential calculi
• scientific article; zbMATH DE number 3643241 (Why is no real title available?)
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3657779 (Why is no real title available?)
• scientific article; zbMATH DE number 3777562 (Why is no real title available?)
• scientific article; zbMATH DE number 3557785 (Why is no real title available?)
• scientific article; zbMATH DE number 3609888 (Why is no real title available?)
• scientific article; zbMATH DE number 3634227 (Why is no real title available?)
• scientific article; zbMATH DE number 3636002 (Why is no real title available?)
• scientific article; zbMATH DE number 3248007 (Why is no real title available?)
• Matrix approach in methodology of sentential calculi
• Matrix representations for structural strengthenings of a propositional logic
• On finitely based consequence operations
• On structural completeness of many-valued logics
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Quasivarieties of algebraic systems
• Reduced products of logical matrices
• Some remarks on the consequence operation in sentential logics
• The Finite Model Property and Subsystems of Classical Propositional Calculus
• The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness

Cited in

(5)

• Equivalential logics. II
• On structural completeness of implicational logics
• Key notions of Tarski's methodology of deductive systems
• An essay in matrix semantics for consequence relations
• Janusz Czelakowski's research on the theory of matrices and its applications in the seventies and eighties of the 20th century

This page was built for publication: The lattice of strengthenings of a strongly finite consequence operation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1161517)