Tarskian Structured Consequence Relations and Functional Completeness

DOI10.1002/malq.19950410108zbMath0816.03015OpenAlexW4232450670MaRDI QIDQ4323834

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

cut-eliminationfunctional completenesscontraction mappingconstructive negationstructured databaseconstructive propositional logicspositive propositional logicpropositional logics associated with a Tarski-type structured consequence relation

Mathematics Subject Classification ID

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

Related Items (2)

Logical connectives for constructive modal logic ⋮ Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic

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