VARIABLE TRUTH

DOI10.1002/MALQ.19840302602MaRDI QIDQ3317087zbMATH OpenOpenAlexFDO

Authors Manfred E. Szabo

Publication date 1984

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

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

zbMATH Keywords

completenesscut eliminationGentzen systeminfinitary logic, modal logic, nonstandard arithmeticnonstandard semanticsprogramming logicsequent calculustemporal logicZFM 352.68055

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• Sequential Calculus for a First Order Infinitary Temporal Logic
• scientific article; zbMATH DE number 4210108
• scientific article; zbMATH DE number 17797
• A sequent calculus for propositional temporal logic with time gaps
• scientific article; zbMATH DE number 4055577

Cited in

(1)

• Formulas expressing totally nonstable truth values of formulas

This page was built for publication: VARIABLE TRUTH

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