Results 271 to 280 of about 2,584,296 (324)

Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction

Logic Programming and Automated Reasoning, 1992
M. Parigot
semanticscholar   +1 more source

The Logic of Statements: Contingency Statements

2019
openaire   +1 more source

The Logic of Statements: Assertoric Statements

2019
openaire   +1 more source

On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic

International Conference on Concurrency Theory, 1996
David Janin, I. Walukiewicz
semanticscholar   +1 more source

European Consensus Statement on Lung Cancer: risk factors and prevention. Lung Cancer Panel

Ca-A Cancer Journal for Clinicians, 1998
Hans Konrad Biesalski, A Chesson, F Chytil   +2 more
exaly  

The Logic of Ethical Statements

Philosophy and Phenomenological Research, 1972
openaire   +1 more source

Commentary on “European Consensus Statement on Lung Cancer”

Ca-A Cancer Journal for Clinicians, 1998
Dileep G Bal
exaly  

Statement Logic

2017
openaire   +1 more source

Logical Statements

2001
openaire   +1 more source

On the Logic of the Social Sciences

, 1970
J. Habermas
semanticscholar   +1 more source