Wikidata

(Q4055684)

English

first-order logic

collection of formal systems used in mathematics, philosophy, linguistics, and computer science

  • first-order predicate calculus
  • predicate logic
  • quantified logic
  • predicate calculus
  • quantificational logic
  • FOL
In more languages

Statements

Identifiers

Encyclopedia of Database Systems ID
999-2
applies to part
syntax
subject named as
First-Order Logic: Syntax
0 references
1000-2
applies to part
formal semantics
subject named as
First-Order Logic: Semantics
0 references
GitHub topic
first-order-logic
1 reference
reference URL
https://github.com/topics/first-order-logic
title
first-order-logic · GitHub Topics (English)
retrieved
19 August 2021
Great Russian Encyclopedia Online ID (old version)
2179111
subject named as
ЛОГИКА ПРЕДИКАТОВ
0 references
nLab ID
predicate logic
0 references
PhilPapers topic
predicate-logic
subject named as
Predicate Logic
0 references
 
edit
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                Retrieved from "https://www.wikidata.org/w/index.php?title=Q4055684&oldid=2093977252"