- Structural Completeness in Fuzzy Logics
2009/04/01 by Petr Cintula, George Metcalfe · 4 citations
Computer Science · Decision Sciences · Mathematics · #Advanced Algebra and Logic #Algebra over a field #Artificial intelligence #Calculus (dental) #Completeness (order theory) #Computer science #Description logic #Discrete mathematics #Fuzzy logic #Fuzzy number #Fuzzy set #Intermediate logic #Many-valued logic #Mathematics #Multi-Criteria Decision Making #Pure mathematics #Rough Sets and Fuzzy Logic #Substructural logic #T-norm #T-norm fuzzy logics #Łukasiewicz logic
- Analyzing Context-Free Grammars Using an Incremental SAT Solver
2008/08/12 by Roland Axelsson, Keijo Heljanko, Martin Lange · 1 citation
Computer Science · Mathematics · #Algorithm #Ambiguity #Artificial intelligence #Boolean satisfiability problem #Bounded function #Computer science #Constraint Satisfaction and Optimization #Correctness #Decidability #Description logic #Discrete mathematics #Equivalence (formal languages) #Formal Methods in Verification #Intermediate logic #Logic, Reasoning, and Knowledge #Mathematics #Programming language #Propositional calculus #Propositional formula #Propositional variable #Rule-based machine translation #Satisfiability #Theoretical computer science #Undecidable problem #Universality (dynamical systems)
- Stratified coherence spaces: a denotational semantics for light linear logic
2003/11/11 by Patrick Baillot · 1 citation
Computer Science · Mathematics · #Algebra over a field #Algorithm #Artificial intelligence #Class (philosophy) #Coherence (philosophical gambling strategy) #Computer science #Denotational semantics #Description logic #Discrete mathematics #Formal Methods in Verification #Higher-order logic #Intermediate logic #Linear logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical proof #Mathematics #Operational semantics #Programming language #Pure mathematics #Semantics (computer science) #Theoretical computer science
- Complexity of Many-valued Logics
2003/01/01 by Reiner Hähnle · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #semigroups and automata theory #T-norm fuzzy logics #Mathematics #Propositional variable #Context (archaeology) #Theoretical computer science #Propositional calculus #Computer science #Intermediate logic #Description logic #Discrete mathematics #Artificial intelligence
- The complexity of propositional linear temporal logics
1985/07/01 by A. P. Sistla, A. Prasad Sistla, E. M. Clarke · 39 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Algorithm #Artificial intelligence #Computational complexity theory #Computer science #Description logic #Discrete mathematics #Intermediate logic #Linear temporal logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Monoidal t-norm logic #PSPACE #Propositional calculus #Propositional variable #Satisfiability #T-norm fuzzy logics #Theoretical computer science #Well-formed formula
- A probabilistic PDL
1985/04/01 by Dexter Kozen · 13 citations
Computer Science · Mathematics · #Algorithm #Calculus (dental) #Computational complexity theory #Computer science #Discrete mathematics #Formal Methods in Verification #Intermediate logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #PSPACE #Probabilistic CTL #Probabilistic analysis of algorithms #Probabilistic logic #Property (philosophy) #Propositional calculus #Propositional variable #Simple (philosophy) #Space (punctuation) #Statistics #Theoretical computer science
- Propositional dynamic logic of regular programs
1979/04/01 by Michael J. Fischer, Richard E. Ladner · 59 citations
Computer Science · Mathematics · #Algorithm #Autoepistemic logic #Computer science #Correctness #Description logic #Discrete mathematics #Dynamic logic (digital electronics) #Equivalence (formal languages) #Formal Methods in Verification #Intermediate logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Modal #Modal logic #Modal μ-calculus #Multimodal logic #Nondeterministic algorithm #Programming language #Propositional variable #Satisfiability #Well-formed formula #Zeroth-order logic