Template:Non-classical logic: Difference between revisions

Latest revision as of 11:31, 21 June 2023

Lua error in Module:TNT at line 182: Missing Commons dataset I18n/Module:TNT.tab.[[Category:Template documentation pages{{#translation:}}]]

v t e Non-classical logic
Intuitionistic	Intuitionistic logic Constructive analysis Heyting arithmetic Intuitionistic type theory Constructive set theory
Fuzzy	Degree of truth Fuzzy rule Fuzzy set Fuzzy finite element Fuzzy set operations
Substructural	Structural rule Relevance logic Linear logic
Paraconsistent	Dialetheism
Description	Ontology (computer science) Ontology language
Many-valued	Three-valued Four-valued Łukasiewicz
Digital logic	Three-state logic Tri-state buffer Four-valued Verilog IEEE 1164 VHDL
Others	Dynamic semantics Inquisitive logic Intermediate logic Nonmonotonic logic

Revision as of 00:11, 17 February 2023 (view source) alpha>Indicwiki (Created page with "{{Navbox \| name = Non-classical logic \| state = {{{state\|{{{1\|<noinclude>expanded</noinclude>}}}}}} \| title = Non-classical logic \| listclass = hlist \| group1 = Intuiti...")	Latest revision as of 11:31, 21 June 2023 (view source) Indicwiki (talk \| contribs) m (1 revision imported from alpha:Template:Non-classical_logic)
(No difference)