Tarskian Structured Consequence Relations and Functional Completeness

DOI10.1002/MALQ.19950410108MaRDI QIDQ4323834zbMATH OpenOpenAlexFDO

Authors Heinrich Wansing

Publication date 20 July 1995

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19950410108

zbMATH Keywords

contraction mappingfunctional completenesscut-eliminationconstructive negationstructured databaseconstructive propositional logicspositive propositional logicpropositional logics associated with a Tarski-type structured consequence relation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Database theory (68P15) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Structural completeness in relevance logics
• scientific article; zbMATH DE number 1256282
• scientific article; zbMATH DE number 1406801
• Intuitionistic semantics of relevant consequence relation
• Structural completeness in propositional logics of dependence
• Structural Completeness in Substructural Logics
• The completeness of functional logic
• Functional dependencies, supervenience, and consequence relations
• Relative completeness for logics of functional programs
• scientific article; zbMATH DE number 753776

Cited in

(5)

• Logical connectives for constructive modal logic
• scientific article; zbMATH DE number 3557785 (Why is no real title available?)
• Functional dependencies, supervenience, and consequence relations
• Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic
• Tie-breaking semantics and structural totality

This page was built for publication: Tarskian Structured Consequence Relations and Functional Completeness

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