Category:Systems of formal logic

From HandWiki

Revision as of 16:32, 28 February 2021 by imported>Jport (linkage)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Philosophy portal

Here is a list of articles in the category Systems of formal logic of the Philosophy portal.

Wikimedia Commons has media related to Systems of formal logic.

These systems provide a syntax and semantics for the formal study of logic.

Subcategories

This category has the following 4 subcategories, out of 4 total.

P

Paraconsistent logic‎ (15 P)
Predicate logic‎ (1 C, 36 P)
Propositional calculus‎ (6 C, 40 P)

S

Substructural logic‎ (1 C, 8 P)

Pages in category "Systems of formal logic"

The following 33 pages are in this category, out of 33 total.

A

C

Categorical logic

D

Philosophy:Dependence logic

E

Philosophy:Epsilon calculus

F

H

I

L

M

O

P

Q

Physics:Quantum logic

S

T

Z

Zeroth-order logic

Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Systems_of_formal_logic&oldid=227038"

Formal systems