Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Basic Propositional Calculus I
View through CrossRef
AbstractWe present an axiomatization for Basic Propositional Calculus BPC and give a completeness theorem for the class of transitive Kripke structures. We present several refinements, including a completeness theorem for irreflexive trees. The class of intermediate logics includes two maximal nodes, one being Classical Propositional Calculus CPC, the other being E1, a theory axiomatized by T → ⊥. The intersection CPC ∩ E1 is axiomatizable by the Principle of the Excluded Middle A V ∨ ⌝A. If B is a formula such that (T → B) → B is not derivable, then the lattice of formulas built from one propositional variable p using only the binary connectives, is isomorphically preserved if B is substituted for p. A formula (T → B) → B is derivable exactly when B is provably equivalent to a formula of the form ((T → A) → A) → (T → A).
Title: Basic Propositional Calculus I
Description:
AbstractWe present an axiomatization for Basic Propositional Calculus BPC and give a completeness theorem for the class of transitive Kripke structures.
We present several refinements, including a completeness theorem for irreflexive trees.
The class of intermediate logics includes two maximal nodes, one being Classical Propositional Calculus CPC, the other being E1, a theory axiomatized by T → ⊥.
The intersection CPC ∩ E1 is axiomatizable by the Principle of the Excluded Middle A V ∨ ⌝A.
If B is a formula such that (T → B) → B is not derivable, then the lattice of formulas built from one propositional variable p using only the binary connectives, is isomorphically preserved if B is substituted for p.
A formula (T → B) → B is derivable exactly when B is provably equivalent to a formula of the form ((T → A) → A) → (T → A).
Related Results
Análisis de las prácticas docentes en torno a la enseñanza de lógica en la formación de estudiantes de profesorado en matemática
Análisis de las prácticas docentes en torno a la enseñanza de lógica en la formación de estudiantes de profesorado en matemática
La presente tesis se ocupa del análisis de las prácticas de dos profesores universitarios que enseñan temas vinculados al estudio de cálculo proposicional y cálculo de predicados a...
Non-Propositional Evidentiality
Non-Propositional Evidentiality
AbstractThis chapter deals with non-propositional evidentiality, i.e. evidential-like distinctions on markers whose scope is limited to a noun phrase. First, it presents the differ...
The impacts of gingivitis and calculus on Thai children's quality of life
The impacts of gingivitis and calculus on Thai children's quality of life
AbstractAimTo assess associations of socio‐demographic, behavioural and the extent of gingivitis and calculus with oral health‐related quality of life (OHRQoL) in nationally repres...
The Site-specificity of Supragingival Calculus Deposition on the Lingual Surfaces of the Six Permanent Lower Anterior Teeth in Humans and the Effects of Age, Sex, Gum-chewing Habits, and the Time Since the Last Prophylaxis on Calculus Scores
The Site-specificity of Supragingival Calculus Deposition on the Lingual Surfaces of the Six Permanent Lower Anterior Teeth in Humans and the Effects of Age, Sex, Gum-chewing Habits, and the Time Since the Last Prophylaxis on Calculus Scores
The hypotheses to be tested were: (i) that chewing sugar-free gum frequently and for long periods would be associated with higher amounts of supragingival calculus, and (ii) that t...
Remarks on propositional nominalization
Remarks on propositional nominalization
Moulton’s ‘Remarks on propositional nominalization’ investigates nominalization at the highest reaches of the extended verbal projection, finite CPs. While CPs can express proposit...
Predicate calculus
Predicate calculus
The predicate calculus is the dominant system of modern logic, having displaced the traditional Aristotelian syllogistic logic that had been the previous paradigm. Like Aristotle’s...
PROPOSITIONAL ANALYSIS AS A WAY OF REVEALING UNDERLYING CULTURAL MEANINGS IN THE TEXT OF OMENS
PROPOSITIONAL ANALYSIS AS A WAY OF REVEALING UNDERLYING CULTURAL MEANINGS IN THE TEXT OF OMENS
Background. The importance of the study is due to the attention to the picture of the world, the logic of mythopoetic thinking and mythopoetic representations of nature inherent in...
Various Foreign Bodies Causing Bladder Stones in Females: The Lessons Learnt
Various Foreign Bodies Causing Bladder Stones in Females: The Lessons Learnt
Background: Bladder stones are common in males but not so common in females. They account for nearly 5% of the urinary system stone disease. We here share our journey of bladder ca...