A Labelled Natural Deduction System for Linear Temporal Logic

ISSN： 0039-3215

Source： Studia Logica, Vol.75, Iss.3, 2003-12, pp. : 345-376

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Double Deduction System for Quantum Logic Based On Natural Deduction

By delmas-Rigoutsos Y.

Journal of Philosophical Logic, Vol. 26, Iss. 1, 1997-02 ,pp. : 57-67

Springer Publishing Company

Access to resources Recommend Favorite

Linear Lambda-Terms and Natural Deduction

By Mints G.

Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. : 209-231

Springer Publishing Company

Access to resources Recommend Favorite

Natural Deduction for First-Order Hybrid Logic

By BraÜner Torben

Journal of Logic, Language and Information, Vol. 14, Iss. 2, 2005-03 ,pp. : 173-198

Springer Publishing Company

Access to resources Recommend Favorite

Normal Natural Deduction Proofs (in classical logic)

By Sieg W. Byrnes J.

Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. : 67-106

Springer Publishing Company

Access to resources Recommend Favorite

Establishing Connections between Aristotle's Natural Deduction and First-Order Logic

By Andrade Edgar Jose Becerra Edward Samuel

History and Philosophy of Logic, Vol. 29, Iss. 4, 2008-11 ,pp. : 309-325

Taylor & Francis Ltd

Access to resources Recommend Favorite