Evidence for the Theory: Predicting the Difficulty of Propositional Logic Inference Problems

Mental Logic ◽  
1998 ◽  
pp. 99-152
Keyword(s):  
Propositional Logic ◽  
Inference Problems ◽  
Logic Inference

Predicting intermediate and multiple conclusions in propositional logic inference problems: Further evidence for a mental logic.

1995 ◽  
Vol 124 (3) ◽  
pp. 263-292 ◽  
Author(s):  
Martin D. S. Braine ◽  
David P. O'Brien ◽  
Ira A. Noveck ◽  
Mark C. Samuels ◽  
R. Brooke Lea ◽  
...  
Keyword(s):  
Propositional Logic ◽  
Inference Problems ◽  
Logic Inference ◽  
Mental Logic

Hilbert-style proof Calculus for Propositional Logic in ABC notation

2019 ◽  
Author(s):  
Matheus Pereira Lobo
Keyword(s):  
Propositional Logic ◽  
Inference Rule ◽  
Modus Ponens ◽  
Axiomatic System ◽  
First Contact

All nine axioms and a single inference rule of logic (Modus Ponens) within the Hilbert axiomatic system are presented using capital letters (ABC) in order to familiarize the beginner student in hers/his first contact with the topic.

Reducing Separation Formulas to Propositional Logic

2003 ◽  
Author(s):  
Ofer Strichman ◽  
Sanjit A. Seshia ◽  
Randal E. Bryant
Keyword(s):  
Propositional Logic

Bounding Causal Effects in Ecological Inference Problems

2015 ◽  
Author(s):  
Alejandro Corvalan ◽  
Emerson Melo ◽  
Robert P Sherman ◽  
Matthew Shum
Keyword(s):  
Causal Effects ◽  
Ecological Inference ◽  
Inference Problems
Sign in / Sign up

Export Citation Format

Share Document