Old Web
English
Sign In
Acemap
>
Paper
>
Propositional Calculus and Logic
Propositional Calculus and Logic
2012
L. R. Vermani
Shalini Vermani
Keywords:
Algorithm
Zeroth-order logic
Modal μ-calculus
Resolution (logic)
Propositional variable
Mathematics
Well-formed formula
Proof calculus
Many-valued logic
Autoepistemic logic
Intuitionistic logic
Calculus
Intermediate logic
Propositional formula
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]