Some theorems on structural entailment relations

DOI10.1007/BF01371630MaRDI QIDQ798645zbMATH OpenOpenAlexFDO

Authors Janusz Czelakowski

Publication date 1983

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

matricesfinitely based entailmentsstructural finitistic entailments

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Structural entailment
• scientific article; zbMATH DE number 4055579
• Matrices, primitive satisfaction and finitely based logics
• scientific article; zbMATH DE number 3920436
• scientific article; zbMATH DE number 4031640

Cites work

• scientific article; zbMATH DE number 3497860 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 3636000 (Why is no real title available?)
• A note on direct products and ultraproducts of logical matrices
• Equivalential logics. I
• Matrix approach in methodology of sentential calculi
• Reduced products of logical matrices
• Some theorems on structural consequence operations

Cited in

(7)

• Matrices, primitive satisfaction and finitely based logics
• scientific article; zbMATH DE number 1354102 (Why is no real title available?)
• scientific article; zbMATH DE number 1406805 (Why is no real title available?)
• Structural entailment
• What is a logical theory? On theories containing assertions and denials
• Key notions of Tarski's methodology of deductive systems
• Axiomatizing non-deterministic many-valued generalized consequence relations

This page was built for publication: Some theorems on structural entailment relations

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