1. Home
  2. Formal system
  Subject:

Formal system   New Search

View on DBpedia    View on Wikipedia
Top related subjects:
 Logic Sequent Natural deduction Theorem Modal logic Logical consequence Kripke semantics Classical logic Semantics Functional completeness Formal system Deontic logic Algorithm Propositional calculus Walter Carnielli University of Notre Dame Classical mechanics Banach space Polynomial Holomorphic function Paraconsistent logic Ontological argument Turnstile (symbol) Natural-language processing Artificial neural network N400 (neuroscience) Memory Ton-force Three-valued logic
RELATED SUBJECTS:
The publications listed also have these subjects
Logic  7 times
Theorem  3 times
Logical consequence  3 times
Classical logic  3 times
Semantics  2 times
Axiom  2 times
Stochastic optimization  1 time
Programming language  1 time
Plato  1 time
Paradox  1 time
Mathematical optimization  1 time
Library  1 time
Intuitionistic logic  1 time
Functor  1 time
First-order logic  1 time
Euclidean distance  1 time
Data structure  1 time
Clause  1 time
Calculus  1 time
Buddhism  1 time
Algebraic structure  1 time

Publications tagged with this subject: 22

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


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

2. Disentangling FDE-Based Paraconsistent Modal Logics

3. Interpolation Methods for Dunn Logics and Their Extensions

4. Modal Multilattice Logic

5. Medical diagnoses using three-way fuzzy concept lattice and their Euclidean distance

6. Handling Inconsistencies in the Early Calculus

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

8. Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

9. Kleist’s Secrets

10. Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic

11. Variants of Gödel’s Ontological Proof in a Natural Deduction Calculus

12. Interpolation in 16-Valued Trilattice Logics

13. Mining parametric temporal logic properties in model-based design for cyber-physical systems

14. Commutative deductive systems of pseudo-BCK-algebras

15. An Axiomatic System and a Tableau Calculus for STIT Imagination Logic

16. Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning

17. Sequent Calculi for $${\mathsf {SCI}}$$ SCI

18. Leśniewski on metalogic and definitions

19. A Probabilistic Semantics for the Pure $$\lambda $$-Calculus

20. Institutions for Behavioural Dynamic Logic with Binders

21. Introduction to Buddhist Logicians and their Texts

22. Towards a Calculus for Dynamic Architectures


Questions?

Drop us a message.