1. Home
  2. Classical logic
  Subject:

Classical logic   New Search

View on DBpedia    View on Wikipedia
Top related subjects:
 Logic Theorem Sequent Semantics Propositional calculus Intuitionistic logic Formal system First-order logic Boolean algebra Quantum mechanics Classical logic Deontic logic Algorithm Classical mechanics Banach space Polynomial Holomorphic function Natural-language processing Artificial neural network N400 (neuroscience) Memory Proof theory Craig interpolation Fuzzy set Fuzzy number Multiple-criteria decision analysis Mathematical optimization Natural deduction Modal logic Random graph Decision problem University of Oxford PsycINFO Machine learning Physics Density functional theory Nuclear magnetic resonance
RELATED SUBJECTS:
The publications listed also have these subjects
Logic  9 times
Theorem  6 times
Semantics  4 times
Intuitionistic logic  3 times
Formal system  3 times
First-order logic  3 times
Boolean algebra  3 times
Quantum mechanics  2 times
Paradox  2 times
Logical consequence  2 times
Countable set  2 times
Axiom  2 times
Algebraic structure  2 times
Workable FC  1 time
Transducer  1 time
The Techniques  1 time
Psychology  1 time
Probability theory  1 time
Polynomial  1 time
Monoid  1 time
Measure (mathematics)  1 time
Locally compact space  1 time
Linear map  1 time
India  1 time
Homotopy  1 time
Headword  1 time
Group action  1 time
Graph of a function  1 time
Gottfried Wilhelm Leibniz  1 time
Geometry  1 time
Fuzzy set  1 time
Finite group  1 time
Finite field  1 time
Euclidean space  1 time
Equivalence relation  1 time
Epistemology  1 time
Computer data storage  1 time
Banach space  1 time
Australian dollar  1 time
Algorithm  1 time

Publications tagged with this subject: 35

Note: Top 50 publications shown only. Open an item panel to view more info


1. Naïve validity

2. A herbrandized functional interpretation of classical first-order logic

3. Ceteris-Paribus Qualifiers

4. Relative congruence formulas and decompositions in quasivarieties

5. Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy

6. Experimental, Cross-Cultural, and Classical Indian Epistemology

7. Interpolation Methods for Dunn Logics and Their Extensions

8. Radical Interpretation and Logical Pluralism

9. Combinatorial Bitstring Semantics for Arbitrary Logical Fragments

10. Proof Theory for Functional Modal Logic

11. The Logic of “Most” and “Mostly”

12. Sequent Systems for Negative Modalities

13. A Logical Analysis of the Anselm’s Unum Argumentum (from Proslogion)

14. Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant

15. $$G $$ G -theory of $$\mathbb F_1$$ F1 -algebras I: the equivariant Nishida problem

16. Impossible Worlds and the Logic of Imagination

17. Intra-Regular Abel Grassmann’s Groupoids Determined by $$(\in _{\gamma },\in _{\gamma }\vee q_{\delta })$$ (∈γ,∈γ∨qδ) Fuzzy Sets

18. Simplifying with Free Choice

19. Latticed-LTL synthesis in the presence of noisy inputs

20. The strength of countable saturation

21. On Noncontextual, Non-Kolmogorovian Hidden Variable Theories

22. Sequent Calculi for Semi-De Morgan and De Morgan Algebras

23. Mahatma Gandhi’s Pragmatic Spirituality: Its Relevance to Psychology East and West

24. I/O-Efficient Similarity Join

25. Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics

26. A many-sorted theory proposal for information retrieval: axiomatization and semantics

27. Category-measure duality: convexity, midpoint convexity and Berz sublinearity

28. A Cauchy-Davenport theorem for linear maps

29. Tarski monoids: Matui’s spatial realization theorem

30. Interpreting Quantum Logic as a Pragmatic Structure

31. On Weighted Configuration Logics

32. A Generalization of Probabilistic Argumentation with Dempster-Shafer Theory

33. On the Nature of Economic Laws: From Adam Smith to Alfred Marshall

34. A Semantic Characterization for ASP Base Revision

35. Multiple Mutation Testing from Finite State Machines with Symbolic Inputs


Questions?

Drop us a message.