Results 81 to 87 of about 412 (87)

Proof-Theoretic Methods in Nonclassical Logic --an Introduction

MSJ Memoirs, 1998
Hiroakira Ono
exaly  

Encoding Two-Valued Nonclassical Logics in Classical Logic

2001
Hans Jürgen Ohlbach
exaly  

On the Adequacy of a Nonclassical Logic for Quantum Theory

1988
Rossella Lupacchini
exaly  

Classic Formal Logic and Nonclassical Logics

2016
exaly  

Nonclassical models for logic programs

2005
exaly  

The Probabilistic Argument for a Nonclassical Logic of Quantum Mechanics

1969
exaly  

The Probabilistic Argument for a Nonclassical Logic of Quantum Mechanics

1975
exaly