An algebraic approach to intuitionistic connectives

Publisher： Cambridge University Press

E-ISSN： 1943-5886|66|4|1620-1636

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.66, Iss.4, 2001-12, pp. : 1620-1636

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

Logical connectives for intuitionistic propositional logic

By  

The Journal of Symbolic Logic, Vol. 36, Iss. 1, 1971-03 ,pp. : 15-20

Cambridge University Press

Access to resources Recommend Favorite

Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis

By  

The Journal of Symbolic Logic, Vol. 65, Iss. 3, 2000-09 ,pp. : 1014-1030

Cambridge University Press

Access to resources Recommend Favorite

A Linear Algebraic Approach to Metering Schemes

By Blundo Carlo   Martín Sebastià   Masucci Barbara   Padró CarlEs  

Designs, Codes and Cryptography, Vol. 33, Iss. 3, 2004-11 ,pp. : 241-260

Springer Publishing Company

Access to resources Recommend Favorite

An algebraic approach to categories of partial morphisms

By  

The Journal of Symbolic Logic, Vol. 67, Iss. 1, 2002-03 ,pp. : 117-129

Cambridge University Press

Access to resources Recommend Favorite

An algebraic approach to Runge-Kutta methods

By  

Bulletin of the Australian Mathematical Society, Vol. 9, Iss. 1, 1973-08 ,pp. : 145-146

Cambridge University Press

Access to resources Recommend Favorite