Jump to content

Category:Syntax (logic)

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Carchasm (talk | contribs) at 00:22, 3 June 2023 (removed Category:Philosophy of logic; added Category:Formal logic using HotCat). The present address (URL) is a permanent link to this version.

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

Wikimedia Commons has media related to Syntax (logic).

Subcategories

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

F

Formal languages‎ (13 C, 202 P)
Formal systems‎ (7 C, 10 P)

L

Logic symbols‎ (1 C, 49 P)
Logical consequence‎ (1 C, 23 P)

P

Proof theory‎ (6 C, 95 P)

R

Rules of inference‎ (44 P)

Pages in category "Syntax (logic)"

The following 19 pages are in this category, out of 19 total. This list may not reflect recent changes.

Syntax (logic)

A

Atomic sentence

F

L

M

P

R

Rule of inference

S

Symbol (formal)

T

The Logical Syntax of Language

U

Unate function

V

Variable (mathematics)

W

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Syntax_(logic)&oldid=1158266445"

Hidden category:

Commons category link from Wikidata