Relational proof system for relevant logics

E-ISSN： 1943-5886|57|4|1425-1440

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.57, Iss.4, 1992-12, pp. : 1425-1440

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

Relational semantics and a relational proof system for full Lambek calculus

The Journal of Symbolic Logic, Vol. 63, Iss. 2, 1998-06 ,pp. : 623-637

Cambridge University Press

Access to resources Recommend Favorite

Gentzenizations of relevant logics with distribution

The Journal of Symbolic Logic, Vol. 61, Iss. 2, 1996-06 ,pp. : 402-420

Cambridge University Press

Access to resources Recommend Favorite

Semantics for relevant logics

The Journal of Symbolic Logic, Vol. 37, Iss. 1, 1972-03 ,pp. : 159-169

Cambridge University Press

Access to resources Recommend Favorite

A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS

The Journal of Symbolic Logic, Vol. 48, Iss. 1, 1983-03 ,pp. : 1-20

Cambridge University Press

Access to resources Recommend Favorite

Canonical extensions and relational completeness of some substructural logics*

The Journal of Symbolic Logic, Vol. 70, Iss. 3, 2005-09 ,pp. : 713-740

Cambridge University Press

Access to resources Recommend Favorite