Some consequence relations on propositional formulas
Consequence relations on propositional formulas are binary relations on propositional formulas that represent certain types of entailment - formal or semi-formal derivation of conclusion from a certain set of premises. Some of well known examples are classical implication (standard logical entailmen...
Main Author: | Borovčanin Momčilo |
---|---|
Format: | Article |
Language: | English |
Published: |
Faculty of Technical Sciences in Cacak
2011-01-01
|
Series: | Serbian Journal of Electrical Engineering |
Subjects: | |
Online Access: | http://www.doiserbia.nb.rs/img/doi/1451-4869/2011/1451-48691101009B.pdf |
Similar Items
-
Analytic Propositions Definition from
Mr. Mesbah's Perspective
by: Amirhossein Zadyousefi, et al.
Published: (2013-12-01) -
Pseudo-Canonical Formulae are Classical
by: Caminati Marco B., et al.
Published: (2014-06-01) -
Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
by: Romas Alonderis
Published: (2008-12-01) -
Propositions on the cheap
by: Buchanan, R., et al.
Published: (2019) -
Hare and Others on the Proposition
by: John Corcoran
Published: (2011-04-01)