User:Zarzuelazen/Books/Reality Theory: Computational&Non-Classical Logic

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

K4 frame.PNG
This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance).

Edit this book: Book Creator · Wikitext
Order a printed copy from: PediaPress
About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] Recent Changes ]

Reality Theory: Computational&Non-Classical Logic[edit]

Abductive logic programming
Abstract interpretation
Abstract rewriting system
Accessibility relation
Action algebra
Action language
Actor model
Actor model and process calculi
Adaptive grammar
Affix grammar
Alethic modality
Algebraic data type
Alphabet (formal languages)
Alternation (formal language theory)
Ambient calculus
Ambiguous grammar
Anonymous function
Anonymous recursion
Answer set programming
Anti-unification (computer science)
Applicative functor
Arrow (computer science)
Attribute grammar
Augmented Backus–Naur form
Autoepistemic logic
Automated reasoning
Automated theorem proving
Automatic programming
Axiomatic semantics
B, C, K, W system
Backus–Naur form
Backward chaining
Barcan formula
Belief revision
Boolean satisfiability problem
Bottom type
Bottom-up parsing
Brouwer–Heyting–Kolmogorov interpretation
Brzozowski derivative
Buridan formula
Böhm tree
Calculus of constructions
Categorical quantum mechanics
Chart parser
Chomsky hierarchy
Chomsky normal form
Church encoding
Circumscription (logic)
Classical modal logic
Clock (model checking)
Closed-world assumption
Combinatory categorial grammar
Combinatory logic
Common Lisp
Computation tree logic
Computer algebra
Computer algebra system
Computer science
Computer scientist
Computer-assisted proof
Concurrent constraint logic programming
Concurrent logic programming
Confluence (abstract rewriting)
Constraint logic programming
Context-free grammar
Context-free language
Context-sensitive grammar
Context-sensitive language
Contingency (philosophy)
Controlled grammar
Correctness (computer science)
Counterfactual conditional
Counterpart theory
Cut (logic programming)
CYK algorithm
Declarative programming
Deductive lambda calculus
Default logic
Defeasible reasoning
Definite clause grammar
Dempster–Shafer theory
Denotational semantics
Deontic logic
Dependent type
Description logic
Deterministic context-free language
Difference bound matrix
Domain theory
Doxastic logic
Dyck language
Dynamic epistemic logic
Dynamic logic (modal logic)
Eager evaluation
Earley parser
Effect system
Empty string
Epistemic modal logic
Epistemic possibility
Equivalence (formal languages)
Evaluation strategy
Event calculus
Explicit substitution
Extended Backus–Naur form
Filter (higher-order function)
First-class function
Fixed-point combinator
Fluent (artificial intelligence)
Fluent calculus
Fold (higher-order function)
Formal equivalence checking
Formal grammar
Formal language
Formal methods
Formal verification
Formation rule
Forward chaining
Four-valued logic
Free logic
Fréchet inequalities
Function type
Functional programming
Fuzzy concept
Fuzzy logic
Fuzzy number
Fuzzy set
Fuzzy set operations
Game semantics
Generalized context-free grammar
Gleason's theorem
GLR parser
Graph reduction
Graph rewriting
Greibach normal form
Growing context-sensitive grammar
Haskell (programming language)
Head grammar
Hennessy–Milner logic
Higher-order function
Hindley–Milner type system
Hoare logic
Homotopy type theory
Horn clause
Hylomorphism (computer science)
Impossible world
Imprecise probability
Indexed grammar
Indexed language
Inductive logic programming
Inductive type
Infinitary logic
Interaction nets
Interpretability logic
Intuitionistic logic
Intuitionistic type theory
Japaridze's polymodal logic
Kahn process networks
Kind (type theory)
Kleene algebra
Kleene star
Kleene's algorithm
Kleene's recursion theorem
Knowledge base
Kripke semantics
Kripke structure (model checking)
Kuroda normal form
Lambda calculus
Lambda cube
Lazy evaluation
Left corner
Left recursion
Lexical grammar
Linear grammar
Linear logic
Linear temporal logic
Lisp (programming language)
List comprehension
LL parser
Local language (formal language)
Logic programming
Logical possibility
LR parser
Many-valued logic
Map (higher-order function)
Matrix grammar
Membership function (mathematics)
Metaphysical necessity
Metric interval temporal logic
Metric temporal logic
Minimalist grammar
ML (programming language)
Modal companion
Modal fallacy
Modal logic
Modal operator
Modal realism
Modal μ-calculus
Model checking
Monad (functional programming)
Monad transformer
Monoidal t-norm logic
Multimodal logic
Mutual recursion
Myhill–Nerode theorem
Negation as failure
Non-monotonic logic
Noncommutative logic
Noncontracting grammar
Normal form (abstract rewriting)
Normal modal logic
Normalization property (abstract rewriting)
Object language
Ogden's lemma
Omega language
Omega-regular language
Open-world assumption
Operational semantics
Paraconsistent logic
Parser combinator
Parsing expression grammar
Partial application
Partial order reduction
Path ordering (term rewriting)
Pattern language (formal languages)
Pattern matching
Plausible reasoning
Possibility theory
Possible world
Power domains
Prefix grammar
Principal type
Probabilistic logic
Probability bounds analysis
Probability box
Problem of future contingents
Process calculus
Product type
Production (computer science)
Program synthesis
Program transformation
Programming language theory
Proof assistant
Provability logic
Pumping lemma for context-free languages
Pumping lemma for regular languages
Pure type system
Quantum logic
Quine (computing)
Quotient of a formal language
Quotient type
Ranked alphabet
Recursion (computer science)
Recursive ascent parser
Recursive data type
Recursive descent parser
Recursive language
Recursively enumerable language
Reduction strategy (lambda calculus)
Reflection (computer programming)
Regular expression
Regular grammar
Regular language
Regular modal logic
Regular tree grammar
Regulated rewriting
Relevance logic
Rewrite order
Risch algorithm
Rough set
Runtime verification
S5 (modal logic)
Scheme (programming language)
Scott continuity
Scott domain
Scott information system
Self-modifying code
Semantics (computer science)
Semi-Thue system
Set constraint
Shift-reduce parser
Signal (model checking)
Simply typed lambda calculus
Situation calculus
SKI combinator calculus
SLD resolution
Stable model semantics
Star height
Star height problem
Star-free language
Straight-line grammar
Strict conditional
String operations
Structural rule
Stutter bisimulation
Subjective logic
Subjunctive possibility
Substructural logic
Symbolic integration
Syntactic monoid
T-norm fuzzy logics
Tagged union
Tail call
Temporal logic
Terminal and nonterminal symbols
Theoretical computer science
Thompson's construction
Three-valued logic
Timed propositional temporal logic
Timed word
Top-down parsing
Top-down parsing language
Transferable belief model
Transition system
Tree automaton
Tree transducer
Tree-adjoining grammar
Type constructor
Type inference
Type inhabitation
Type theory
Type variable
Typed lambda calculus
Unification (computer science)
Uniqueness type
Unit type
Unrestricted grammar
Upper and lower probabilities
Well-founded semantics
Wirth syntax notation
Wolfram Language
Wolfram Mathematica
Łukasiewicz logic
Μ-recursive function