Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics

By Avron Arnon  

Logica Universalis, Vol. 1, Iss. 1, 2007-01 ,pp. : 41-70

Springer Publishing Company

Access to resources Recommend Favorite

Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics

By Milnikel Robert  

Annals of Mathematics and Artificial Intelligence, Vol. 44, Iss. 1-2, 2005-05 ,pp. : 1-34

Springer Publishing Company

Access to resources Recommend Favorite

A sequent calculus for logic of knowledge and past time: Completeness and decidability

By Sakalauskaitė J.  

Lithuanian Mathematical Journal, Vol. 46, Iss. 3, 2006-07 ,pp. : 347-355

Springer Publishing Company

Access to resources Recommend Favorite

Sequent calculi for propositional star-free likelihood logic

By Alonderis R.  

Lithuanian Mathematical Journal, Vol. 45, Iss. 1, 2005-01 ,pp. : 1-15

Springer Publishing Company

Access to resources Recommend Favorite

Surmounting the Cartesian Cut Through Philosophy, Physics, Logic, Cybernetics, and Geometry: Self-reference, Torsion, the Klein Bottle, the Time Operator, Multivalued Logics and Quantum Mechanics

By Rapoport Diego  

Foundations of Physics, Vol. 41, Iss. 1, 2011-01 ,pp. : 33-76

Springer Publishing Company

Access to resources Recommend Favorite