Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic

By Aghaei M.   Ardeshir M.  

Studia Logica, Vol. 68, Iss. 2, 2001-07 ,pp. : 263-285

Springer Publishing Company

Access to resources Recommend Favorite

On Alternative Geometries, Arithmetics, and Logics; a Tribute to Łukasiewicz

By Priest G.  

Studia Logica, Vol. 74, Iss. 3, 2003-08 ,pp. : 441-468

Springer Publishing Company

Access to resources Recommend Favorite

Translating from Łukasiewicz's Logics into Classical Logic: Is it Possible?

By Loffredo D'Ottaviano Itala M.   Araujo Feitosa Hércules  

Poznan Studies in the Philosophy of the Sciences and the Humanities, Vol. 91, Iss. 1, 2006-11 ,pp. : 157-168

Rodopi

Access to resources Recommend Favorite

Rereading Gentzen

By von Plato J.  

Synthese, Vol. 137, Iss. 1-2, 2003-11 ,pp. : 195-209

Springer Publishing Company

Access to resources Recommend Favorite

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I

By Sofronie-Stokkermans V.  

Studia Logica, Vol. 64, Iss. 1, 2000-01 ,pp. : 93-132

Springer Publishing Company

Access to resources Recommend Favorite