Suggested Topics within your search.
Showing 1 - 20 results of 273 for search '"propositional logic"', query time: 1.74s Refine Results
  1. 1
    Elementary propositional logic
    by Duthie, G. D.
    Published 1956
    Get full text
  2. 2
    The Axiomatization of Propositional Logic
    by Giero Mariusz
    Published 2016-12-01
    “...This article introduces propositional logic as a formal system ([14], [10], [11]). The formulae...”
    Get full text
    Article
  3. 3
    Intermediate propositional logics
    by McKay, C. G.
    Published 1969
    Get full text
  4. 4
    The Extension of Hypothesis in Propositional Logic
    by Guo Qian, Deng An-Sheng
    Published 2016-01-01
    “... the process of reasoning. In propositional logic, several valuable properties of the hypothesis extension have...”
    Get full text
    Article
  5. 5
    On the Predictability of Classical Propositional Logic
    by Poliana M. Reis, Marcelo Finger
    Published 2013-01-01
    “...In this work we provide a statistical form of empirical analysis of classical propositional logic...”
    Get full text
    Article
  6. 6
    The formalization of implication in propositional logic.
    by Schindler, Patrick. F.
    Published 1963
    Get full text
    Others
  7. 7
    On the metatheory of classical propositional logic
    by Tzu- Keng Fu, 傅子耕
    Published 2005
    “... propositional logic". I prove that the metatheory of propositional logic is undecidable, and using one of Turing...”
    Get full text
    Others
  8. 8
    Notes on Nonmonotonic Autoepistemic Propositional Logic
    by Marek A. Suchenek
    Published 2011-12-01
    “... for autoepistemic propositional logic and its „only knowing” consequence operation CnAE. In particular...”
    Get full text
    Article
  9. 9
    Brodsky’s coding method for propositional logic
    by Romas Alonderis
    Published 2017-12-01
    Subjects: “...propositional logic...”
    Get full text
    Article
  10. 10
    A tabular propositional logic: and/or Table Translator
    by Lee, Chen-Hsiu
    Published 2003
    Get full text
    Get full text
    Others
  11. 11
    The Propositional Logic of Frege’s Grundgesetze: Semantics and Expressiveness
    by Eric D. Berg, Roy T. Cook
    Published 2017-06-01
    “... In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern...”
    Get full text
    Article
  12. 12
    Deduction in Non-Fregean Propositional Logic SCI
    by Joanna Golińska-Pilarek, Magdalena Welle
    Published 2019-10-01
    “... the language of classical propositional logic with a new binary connective ≡ that expresses the identity...”
    Get full text
    Article
  13. 13
    A Note on Omitting Types in Propositional Logic
    by Oren Kolman
    Published 2015-05-01
    “... for propositional logic. For an infinite cardinal $\kappa$, a sufficient criterion is given for the omission...”
    Get full text
    Article
  14. 14
    On Quantified Propositional Logics and the Exponential Time Hierarchy
    “...We study quantified propositional logics from the complexity theoretic point of view. First we...”
    Get full text
    Article
  15. 15
    Propositional Logics Complexity and the Sub-Formula Property
    by Edward Hermann Haeusler
    Published 2015-04-01
    “... Intuitionistic Propositional Logic into its implicational fragment. By the PSPACE-completeness of S4, proved...”
    Get full text
    Article
  16. 16
    A Note on Omitting Types in Propositional Logic
    by Oren Kolman
    Published 2015-05-01
    “... for propositional logic. For an infinite cardinal $\kappa$, a sufficient criterion is given for the omission...”
    Get full text
    Article
  17. 17
    A Note on Omitting Types in Propositional Logic
    by Oren Kolman
    Published 2015-05-01
    “... for propositional logic. For an infinite cardinal $\kappa$, a sufficient criterion is given for the omission...”
    Get full text
    Article
  18. 18
    An Abductive Propositional Logic for Nonmonotonic Design Reasoning
    by Hunghsiang Wang, 王鴻祥
    Published 2000
    “... is attempt to develop an Abductive Propositional Logic (APL) for product design, and apply it to the analysis...”
    Get full text
    Others
  19. 19
    An investigation of the application of propositional logic to information correlation
    Subjects: “...Proposition (Logic)...”
    Get full text
    Get full text
  20. 20
    Tableau Methods for Propositional Logic and Term Logic
    Published 2021
    Subjects: “...propositional logic...”
    Open Access: DOAB: description of the publication
    Open Access: DOAB, download the publication
    eBook
Search Tools: Get RSS Feed — Email this Search