René's URL Explorer Experiment

Title: Logical consequence - Wikipedia

Open Graph Title: Logical consequence - Wikipedia

Generator: MediaWiki 1.47.0-wmf.8

Hey, it has json ld scripts:

{"@context":"https:\/\/schema.org","@type":"Article","name":"Logical consequence","url":"https:\/\/en.wikipedia.org\/wiki\/Logical_consequence","sameAs":"http:\/\/www.wikidata.org\/entity\/Q374182","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q374182","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2006-01-10T07:16:43Z","dateModified":"2025-12-17T11:27:38Z","headline":"fundamental concept in logic"}

referrer	origin-when-cross-origin
format-detection	telephone=no
og:type	website

Links:

Jump to content	https://en.wikipedia.org/wiki/Logical_consequence#bodyContent
Main page	https://en.wikipedia.org/wiki/Main_Page
Contents	https://en.wikipedia.org/wiki/Wikipedia:Contents
Current events	https://en.wikipedia.org/wiki/Portal:Current_events
Random article	https://en.wikipedia.org/wiki/Special:Random
About Wikipedia	https://en.wikipedia.org/wiki/Wikipedia:About
Contact us	https://en.wikipedia.org/wiki/Wikipedia:Contact_us
Help	https://en.wikipedia.org/wiki/Help:Contents
Learn to edit	https://en.wikipedia.org/wiki/Help:Introduction
Community portal	https://en.wikipedia.org/wiki/Wikipedia:Community_portal
Recent changes	https://en.wikipedia.org/wiki/Special:RecentChanges
Upload file	https://en.wikipedia.org/wiki/Wikipedia:File_upload_wizard
Special pages	https://en.wikipedia.org/wiki/Special:SpecialPages
	https://en.wikipedia.org/wiki/Main_Page
Search	https://en.wikipedia.org/wiki/Special:Search
Donate	https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=en.wikipedia.org&uselang=en
Create account	https://en.wikipedia.org/w/index.php?title=Special:CreateAccount&returnto=Logical+consequence
Log in	https://en.wikipedia.org/w/index.php?title=Special:UserLogin&returnto=Logical+consequence
Donate	https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=en.wikipedia.org&uselang=en
Create account	https://en.wikipedia.org/w/index.php?title=Special:CreateAccount&returnto=Logical+consequence
Log in	https://en.wikipedia.org/w/index.php?title=Special:UserLogin&returnto=Logical+consequence
(Top)	https://en.wikipedia.org/wiki/Logical_consequence
1 Formal accounts	https://en.wikipedia.org/wiki/Logical_consequence#Formal_accounts
2 A priori property	https://en.wikipedia.org/wiki/Logical_consequence#A_priori_property
3 Proofs and models	https://en.wikipedia.org/wiki/Logical_consequence#Proofs_and_models
3.1 Syntactic consequence	https://en.wikipedia.org/wiki/Logical_consequence#Syntactic_consequence
3.2 Semantic consequence	https://en.wikipedia.org/wiki/Logical_consequence#Semantic_consequence
4 Modal accounts	https://en.wikipedia.org/wiki/Logical_consequence#Modal_accounts
4.1 Modal-formal accounts	https://en.wikipedia.org/wiki/Logical_consequence#Modal-formal_accounts
4.2 Warrant-based accounts	https://en.wikipedia.org/wiki/Logical_consequence#Warrant-based_accounts
4.3 Non-monotonic logical consequence	https://en.wikipedia.org/wiki/Logical_consequence#Non-monotonic_logical_consequence
5 See also	https://en.wikipedia.org/wiki/Logical_consequence#See_also
6 Notes	https://en.wikipedia.org/wiki/Logical_consequence#Notes
7 Resources	https://en.wikipedia.org/wiki/Logical_consequence#Resources
8 External links	https://en.wikipedia.org/wiki/Logical_consequence#External_links
العربية	https://ar.wikipedia.org/wiki/%D9%86%D8%AA%D9%8A%D8%AC%D8%A9_%D9%85%D9%86%D8%B7%D9%82%D9%8A%D8%A9
Български	https://bg.wikipedia.org/wiki/%D0%A3%D0%BC%D0%BE%D0%B7%D0%B0%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D0%B5
Català	https://ca.wikipedia.org/wiki/Conseq%C3%BC%C3%A8ncia
کوردی	https://ckb.wikipedia.org/wiki/%D8%B4%D9%88%DB%8E%D9%86%DA%BE%D8%A7%D8%AA%DB%8C_%D9%84%DB%86%DA%98%DB%8C%DA%A9%DB%8C
Чӑвашла	https://cv.wikipedia.org/wiki/%C4%82%D1%81%D0%BB%D0%B0%D1%80%C4%83%D1%88
Deutsch	https://de.wikipedia.org/wiki/Ableitung_(Logik)
Ελληνικά	https://el.wikipedia.org/wiki/%CE%9B%CE%BF%CE%B3%CE%B9%CE%BA%CE%AE_%CF%83%CF%85%CE%BD%CE%AD%CF%80%CE%B5%CE%B9%CE%B1
Esperanto	https://eo.wikipedia.org/wiki/Konsekvenco
Español	https://es.wikipedia.org/wiki/Consecuencia_l%C3%B3gica
فارسی	https://fa.wikipedia.org/wiki/%D8%A7%D8%B3%D8%AA%D9%84%D8%B2%D8%A7%D9%85
Suomi	https://fi.wikipedia.org/wiki/Looginen_seuraus
Français	https://fr.wikipedia.org/wiki/D%C3%A9duction_logique
Galego	https://gl.wikipedia.org/wiki/Consecuencia_l%C3%B3xica
עברית	https://he.wikipedia.org/wiki/%D7%94%D7%A1%D7%A7%D7%AA_%D7%9E%D7%A1%D7%A7%D7%A0%D7%95%D7%AA
हिन्दी	https://hi.wikipedia.org/wiki/%E0%A4%A8%E0%A4%BF%E0%A4%B7%E0%A5%8D%E0%A4%95%E0%A4%B0%E0%A5%8D%E0%A4%B7_(%E0%A4%A4%E0%A4%B0%E0%A5%8D%E0%A4%95)
Bahasa Indonesia	https://id.wikipedia.org/wiki/Konsekuensi_logis
日本語	https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E7%9A%84%E5%B8%B0%E7%B5%90
La .lojban.	https://jbo.wikipedia.org/wiki/selni%27i
한국어	https://ko.wikipedia.org/wiki/%EB%85%BC%EB%A6%AC%EC%A0%81_%EA%B7%80%EA%B2%B0
Nederlands	https://nl.wikipedia.org/wiki/Logisch_gevolg
Polski	https://pl.wikipedia.org/wiki/Implikacja_logiczna
Português	https://pt.wikipedia.org/wiki/Consequ%C3%AAncia_l%C3%B3gica
Română	https://ro.wikipedia.org/wiki/Consecin%C8%9B%C4%83_logic%C4%83
Русский	https://ru.wikipedia.org/wiki/%D0%A3%D0%BC%D0%BE%D0%B7%D0%B0%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D0%B5
Slovenščina	https://sl.wikipedia.org/wiki/Implikacija
Српски / srpski	https://sr.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D1%87%D0%BA%D0%B0_%D0%BF%D0%BE%D1%81%D0%BB%D0%B5%D0%B4%D0%B8%D1%86%D0%B0
Svenska	https://sv.wikipedia.org/wiki/Konsekvens_(logik)
ไทย	https://th.wikipedia.org/wiki/%E0%B8%9C%E0%B8%A5%E0%B8%9E%E0%B8%A7%E0%B8%87%E0%B9%80%E0%B8%8A%E0%B8%B4%E0%B8%87%E0%B8%95%E0%B8%A3%E0%B8%A3%E0%B8%81%E0%B8%B0
Українська	https://uk.wikipedia.org/wiki/%D0%A3%D0%BC%D0%BE%D0%B2%D0%B8%D0%B2%D1%96%D0%B4
粵語	https://zh-yue.wikipedia.org/wiki/%E7%B5%90%E8%AB%96
中文	https://zh.wikipedia.org/wiki/%E8%95%B4%E6%B6%B5
Edit links	https://www.wikidata.org/wiki/Special:EntityPage/Q374182#sitelinks-wikipedia
Article	https://en.wikipedia.org/wiki/Logical_consequence
Talk	https://en.wikipedia.org/wiki/Talk:Logical_consequence
Read	https://en.wikipedia.org/wiki/Logical_consequence
Edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit
View history	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=history
Read	https://en.wikipedia.org/wiki/Logical_consequence
Edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit
View history	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=history
What links here	https://en.wikipedia.org/wiki/Special:WhatLinksHere/Logical_consequence
Related changes	https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Logical_consequence
Upload file	https://en.wikipedia.org/wiki/Wikipedia:File_Upload_Wizard
Permanent link	https://en.wikipedia.org/w/index.php?title=Logical_consequence&oldid=1328011163
Page information	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=info
Cite this page	https://en.wikipedia.org/w/index.php?title=Special:CiteThisPage&page=Logical_consequence&id=1328011163&wpFormIdentifier=titleform
Get shortened URL	https://en.wikipedia.org/w/index.php?title=Special:UrlShortener&url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FLogical_consequence
Download as PDF	https://en.wikipedia.org/w/index.php?title=Special:DownloadAsPdf&page=Logical_consequence&action=show-download-screen
Printable version	https://en.wikipedia.org/w/index.php?title=Logical_consequence&printable=yes
Wikimedia Commons	https://commons.wikimedia.org/wiki/Category:Logical_consequence
Wikidata item	https://www.wikidata.org/wiki/Special:EntityPage/Q374182
Entail (disambiguation)	https://en.wikipedia.org/wiki/Entail_(disambiguation)
Therefore sign	https://en.wikipedia.org/wiki/Therefore_sign
Material conditional	https://en.wikipedia.org/wiki/Material_conditional
Double turnstile	https://en.wikipedia.org/wiki/Double_turnstile
concept	https://en.wikipedia.org/wiki/Concept
logic	https://en.wikipedia.org/wiki/Logic
statements	https://en.wikipedia.org/wiki/Statement_(logic)
valid	https://en.wikipedia.org/wiki/Validity_(logic)
argument	https://en.wikipedia.org/wiki/Argument
conclusion	https://en.wikipedia.org/wiki/Consequent
premises	https://en.wikipedia.org/wiki/Premise
philosophical analysis	https://en.wikipedia.org/wiki/Philosophical_analysis
[1]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-sep-1
philosophical logic	https://en.wikipedia.org/wiki/Philosophical_logic
logical truth	https://en.wikipedia.org/wiki/Logical_truth
[2]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-2
necessary	https://en.wikipedia.org/wiki/Logical_truth
formal	https://en.wikipedia.org/wiki/Formalism_(philosophy_of_mathematics)
formal proof	https://en.wikipedia.org/wiki/Formal_proof
models of interpretation	https://en.wikipedia.org/wiki/Interpretation_(logic)
[1]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-sep-1
language	https://en.wikipedia.org/wiki/Formal_language
if and only if	https://en.wikipedia.org/wiki/If_and_only_if
[3]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-iep-3
language	https://en.wikipedia.org/wiki/Formal_language
deductive system	https://en.wikipedia.org/wiki/Deductive_system
intended semantics	https://en.wikipedia.org/wiki/Intended_interpretation
Alfred Tarski	https://en.wikipedia.org/wiki/Alfred_Tarski
logical form	https://en.wikipedia.org/wiki/Logical_form
a priori	https://en.wikipedia.org/wiki/A_priori_and_a_posteriori
empirical evidence	https://en.wikipedia.org/wiki/Empirical_evidence
modal	https://en.wikipedia.org/wiki/Modal_logic
[3]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-iep-3
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=1
logical form	https://en.wikipedia.org/wiki/Logical_form
schemes	https://en.wikipedia.org/wiki/Schema_(logic)
inference rules	https://en.wikipedia.org/wiki/Inference_rule
instance	https://en.wikipedia.org/wiki/Substitution_(logic)
material consequence	https://en.wikipedia.org/wiki/Material_conditional
[1]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-sep-1
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=2
empirical knowledge	https://en.wikipedia.org/wiki/A_priori_and_a_posteriori
[1]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-sep-1
[1]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-sep-1
[1]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-sep-1
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=3
proof theory	https://en.wikipedia.org/wiki/Proof_theory
model theory	https://en.wikipedia.org/wiki/Model_theory
[4]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-ChiaraDoets1996-4
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=4
∴	https://en.wikipedia.org/wiki/Therefore_sign
⊢	https://en.wikipedia.org/wiki/Turnstile_(symbol)
[5]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-5
[6]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-6
[7]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-7
[8]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-8
[9]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-Kleene52-9
formal system	https://en.wikipedia.org/wiki/Formal_system
formal proof	https://en.wikipedia.org/wiki/Formal_proof
[9]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-Kleene52-9
interpretation	https://en.wikipedia.org/wiki/Interpretation_(logic)
[10]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-10
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=5
⊨	https://en.wikipedia.org/wiki/Double_turnstile
[11]	https://en.wikipedia.org/wiki/Logical_consequence#cite_note-11
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=6
Modal	https://en.wikipedia.org/wiki/Modal_logic
logical necessity	https://en.wikipedia.org/wiki/Logical_truth
logical possibility	https://en.wikipedia.org/wiki/Logical_possibility
universal quantifier	https://en.wikipedia.org/wiki/Universal_quantification
possible worlds	https://en.wikipedia.org/wiki/Possible_world
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=7
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=8
warrant	https://en.wikipedia.org/wiki/Theory_of_justification
intuitionists.	https://en.wikipedia.org/wiki/Intuitionist
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=9
Non-monotonic logic	https://en.wikipedia.org/wiki/Non-monotonic_logic
Belief revision § Non-monotonic inference relation	https://en.wikipedia.org/wiki/Belief_revision#Non-monotonic_inference_relation
monotonic	https://en.wikipedia.org/wiki/Monotonicity_of_entailment
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=10
Abstract algebraic logic	https://en.wikipedia.org/wiki/Abstract_algebraic_logic
Ampheck	https://en.wikipedia.org/wiki/Ampheck
Boolean algebra (logic)	https://en.wikipedia.org/wiki/Boolean_algebra_(logic)
Boolean domain	https://en.wikipedia.org/wiki/Boolean_domain
Boolean function	https://en.wikipedia.org/wiki/Boolean_function
Boolean logic	https://en.wikipedia.org/wiki/Boolean_logic
Causality	https://en.wikipedia.org/wiki/Causality
Deductive reasoning	https://en.wikipedia.org/wiki/Deductive_reasoning
Logic gate	https://en.wikipedia.org/wiki/Logic_gate
Logical graph	https://en.wikipedia.org/wiki/Logical_graph
Peirce's law	https://en.wikipedia.org/wiki/Peirce%27s_law
Probabilistic logic	https://en.wikipedia.org/wiki/Probabilistic_logic
Propositional calculus	https://en.wikipedia.org/wiki/Propositional_calculus
Sole sufficient operator	https://en.wikipedia.org/wiki/Sole_sufficient_operator
Strawson entailment	https://en.wikipedia.org/wiki/Strawson_entailment
Strict conditional	https://en.wikipedia.org/wiki/Strict_conditional
Tautology (logic)	https://en.wikipedia.org/wiki/Tautology_(logic)
Tautological consequence	https://en.wikipedia.org/wiki/Tautological_consequence
Therefore sign	https://en.wikipedia.org/wiki/Therefore_sign
Turnstile (symbol)	https://en.wikipedia.org/wiki/Turnstile_(symbol)
Double turnstile	https://en.wikipedia.org/wiki/Double_turnstile
Validity	https://en.wikipedia.org/wiki/Validity_(logic)
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=11
a	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-sep_1-0
b	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-sep_1-1
c	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-sep_1-2
d	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-sep_1-3
e	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-sep_1-4
f	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-sep_1-5
Logical Consequence	http://plato.stanford.edu/archives/fall2009/entries/logical-consequence/
^	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-2
Quine, Willard Van Orman	https://en.wikipedia.org/wiki/Willard_Van_Orman_Quine
a	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-iep_3-0
b	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-iep_3-1
Logical Consequence	http://www.iep.utm.edu/logcon/
^	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-ChiaraDoets1996_4-0
"Logical consequence: a turn in style"	https://books.google.com/books?id=TCthvF8xLIAC&pg=PA292
Maria Luisa Dalla Chiara	https://en.wikipedia.org/wiki/Maria_Luisa_Dalla_Chiara
ISBN	https://en.wikipedia.org/wiki/ISBN_(identifier)
978-0-7923-4383-7	https://en.wikipedia.org/wiki/Special:BookSources/978-0-7923-4383-7
^	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-5
Dummett, Michael	https://en.wikipedia.org/wiki/Michael_Dummett
philosophy of language	https://books.google.com/books?id=EYP7uCZIRQYC&q=syntactic+consequence%27%27Frege%3A&pg=PA82
^	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-6
Lear, Jonathan	https://en.wikipedia.org/wiki/Jonathan_Lear
and Logical Theory	https://books.google.com/books?id=lXI7AAAAIAAJ&q=syntactic+consequence%27%27Aristotle&pg=PA1
^	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-7
Friedman, Michael	https://en.wikipedia.org/wiki/Michael_Friedman_(philosopher)
Cambridge companion to Carnap	https://books.google.com/books?id=87BcFLgJmxMC&q=syntactic+consequence%27%27The&pg=PA189
^	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-8
FOLDOC: "syntactic consequence"	http://www.swif.uniba.it/lei/foldop/foldoc.cgi?syntactic+consequence
Archived	https://web.archive.org/web/20130403201417/http://www.swif.uniba.it/lei/foldop/foldoc.cgi?syntactic+consequence
Wayback Machine	https://en.wikipedia.org/wiki/Wayback_Machine
a	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-Kleene52_9-0
b	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-Kleene52_9-1
Introduction to Metamathematics	https://www.worldcat.org/oclc/523942
^	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-10
Hunter, Geoffrey	https://en.wikipedia.org/wiki/Geoffrey_Hunter_(logician)
ISBN	https://en.wikipedia.org/wiki/ISBN_(identifier)
9780520023567	https://en.wikipedia.org/wiki/Special:BookSources/9780520023567
OCLC	https://en.wikipedia.org/wiki/OCLC_(identifier)
36312727	https://search.worldcat.org/oclc/36312727
accessible to patrons with print disabilities	https://archive.org/details/metalogicintrodu0000hunt
^	https://en.wikipedia.org/wiki/Logical_consequence#cite_ref-11
Etchemendy, John	https://en.wikipedia.org/wiki/John_Etchemendy
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=12
Mathematical logic and foundations	http://www.collegepublications.co.uk/logic/mlf/?00029
Barwise, Jon	https://en.wikipedia.org/wiki/Jon_Barwise
Etchemendy, John	https://en.wikipedia.org/wiki/John_Etchemendy
The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions	https://books.google.com/books?id=qW8x7sQ4JXgC&q=consequence
ISBN	https://en.wikipedia.org/wiki/ISBN_(identifier)
9780486432281	https://en.wikipedia.org/wiki/Special:BookSources/9780486432281
Gödel	https://en.wikipedia.org/wiki/G%C3%B6del
Church	https://en.wikipedia.org/wiki/Alonzo_Church
Rosser	https://en.wikipedia.org/wiki/J._Barkley_Rosser
Kleene	https://en.wikipedia.org/wiki/Kleene
Post	https://en.wikipedia.org/wiki/Emil_Leon_Post
The Logical Basis of Metaphysics	https://books.google.com/books?id=lvsVFxK3BPcC&q=consequence
ISBN	https://en.wikipedia.org/wiki/ISBN_(identifier)
9780674537866	https://en.wikipedia.org/wiki/Special:BookSources/9780674537866
"Indicative Conditionals"	http://plato.stanford.edu/entries/conditionals
doi	https://en.wikipedia.org/wiki/Doi_(identifier)
10.2307/2998398	https://doi.org/10.2307%2F2998398
JSTOR	https://en.wikipedia.org/wiki/JSTOR_(identifier)
2998398	https://www.jstor.org/stable/2998398
Hendricks, Vincent F.	https://en.wikipedia.org/wiki/Vincent_F._Hendricks
ISBN	https://en.wikipedia.org/wiki/ISBN_(identifier)
978-87-991013-7-5	https://en.wikipedia.org/wiki/Special:BookSources/978-87-991013-7-5
Quine, W.V.	https://en.wikipedia.org/wiki/W.V._Quine
Shapiro, Stewart	https://en.wikipedia.org/wiki/Stewart_Shapiro
Tarski, Alfred	https://en.wikipedia.org/wiki/Alfred_Tarski
Oxford University Press	https://en.wikipedia.org/wiki/Oxford_University_Press
Polish	https://en.wikipedia.org/wiki/Polish_language
German	https://en.wikipedia.org/wiki/German_language
Theory of Logical Calculi: Basic Theory of Consequence Operations	https://archive.org/details/theoryoflogicalc0000wojc
ISBN	https://en.wikipedia.org/wiki/ISBN_(identifier)
978-90-277-2785-5	https://en.wikipedia.org/wiki/Special:BookSources/978-90-277-2785-5
Implication	http://www.math.niu.edu/~richard/Math101/implies.pdf
Archived	https://web.archive.org/web/20141021082239/http://www.math.niu.edu/~richard/Math101/implies.pdf
Wayback Machine	https://en.wikipedia.org/wiki/Wayback_Machine
AllWords	http://www.allwords.com/word-implicant.html
edit	https://en.wikipedia.org/w/index.php?title=Logical_consequence&action=edit§ion=13
	https://en.wikipedia.org/wiki/File:Commons-logo.svg
Logical consequence	https://commons.wikimedia.org/wiki/Category:Logical_consequence
Beall, Jc	https://en.wikipedia.org/wiki/Jc_Beall
Restall, Greg	https://en.wikipedia.org/wiki/Greg_Restall
"Logical Consequence"	https://plato.stanford.edu/archives/win2016/entries/logical-consequence/
Zalta, Edward N.	https://en.wikipedia.org/wiki/Edward_N._Zalta
Stanford Encyclopedia of Philosophy	https://en.wikipedia.org/wiki/Stanford_Encyclopedia_of_Philosophy
ISSN	https://en.wikipedia.org/wiki/ISSN_(identifier)
1095-5054	https://search.worldcat.org/issn/1095-5054
OCLC	https://en.wikipedia.org/wiki/OCLC_(identifier)
429049174	https://search.worldcat.org/oclc/429049174
"Logical consequence"	https://iep.utm.edu/logcon/
Internet Encyclopedia of Philosophy	https://en.wikipedia.org/wiki/Internet_Encyclopedia_of_Philosophy
ISSN	https://en.wikipedia.org/wiki/ISSN_(identifier)
2161-0002	https://search.worldcat.org/issn/2161-0002
OCLC	https://en.wikipedia.org/wiki/OCLC_(identifier)
37741658	https://search.worldcat.org/oclc/37741658
Logical consequence	https://www.inphoproject.org/taxonomy/2409
Indiana Philosophy Ontology Project	https://en.wikipedia.org/wiki/Indiana_Philosophy_Ontology_Project
Logical consequence	https://philpapers.org/browse/logical-consequence-and-entailment
PhilPapers	https://en.wikipedia.org/wiki/PhilPapers
"Implication"	https://www.encyclopediaofmath.org/index.php?title=Implication
Encyclopedia of Mathematics	https://en.wikipedia.org/wiki/Encyclopedia_of_Mathematics
EMS Press	https://en.wikipedia.org/wiki/European_Mathematical_Society
v	https://en.wikipedia.org/wiki/Template:Logic
t	https://en.wikipedia.org/wiki/Template_talk:Logic
e	https://en.wikipedia.org/wiki/Special:EditPage/Template:Logic
Logic	https://en.wikipedia.org/wiki/Logic
History	https://en.wikipedia.org/wiki/History_of_logic
Computer science	https://en.wikipedia.org/wiki/Logic_in_computer_science
Computational logic	https://en.wikipedia.org/wiki/Computational_logic
Formal semantics (natural language)	https://en.wikipedia.org/wiki/Formal_semantics_(natural_language)
Inference	https://en.wikipedia.org/wiki/Inference
Philosophy of logic	https://en.wikipedia.org/wiki/Philosophy_of_logic
Proof	https://en.wikipedia.org/wiki/Formal_proof
Semantics of logic	https://en.wikipedia.org/wiki/Semantics_of_logic
Syntax	https://en.wikipedia.org/wiki/Syntax_(logic)
Classical	https://en.wikipedia.org/wiki/Classical_logic
Informal	https://en.wikipedia.org/wiki/Informal_logic
Critical thinking	https://en.wikipedia.org/wiki/Critical_thinking
Reason	https://en.wikipedia.org/wiki/Reason
Mathematical	https://en.wikipedia.org/wiki/Mathematical_logic
Non-classical	https://en.wikipedia.org/wiki/Non-classical_logic
Philosophical	https://en.wikipedia.org/wiki/Philosophical_logic
Argumentation	https://en.wikipedia.org/wiki/Argumentation_theory
Metalogic	https://en.wikipedia.org/wiki/Metalogic
Metamathematics	https://en.wikipedia.org/wiki/Metamathematics
Set	https://en.wikipedia.org/wiki/Set_theory
Abduction	https://en.wikipedia.org/wiki/Abductive_reasoning
Analytic and synthetic propositions	https://en.wikipedia.org/wiki/Analytic%E2%80%93synthetic_distinction
Antecedent	https://en.wikipedia.org/wiki/Antecedent_(logic)
Consequent	https://en.wikipedia.org/wiki/Consequent
Contradiction	https://en.wikipedia.org/wiki/Contradiction
Paradox	https://en.wikipedia.org/wiki/Paradox
Antinomy	https://en.wikipedia.org/wiki/Antinomy
Deduction	https://en.wikipedia.org/wiki/Deductive_reasoning
Deductive closure	https://en.wikipedia.org/wiki/Deductive_closure
Definition	https://en.wikipedia.org/wiki/Definition
Description	https://en.wikipedia.org/wiki/Description
Dichotomy	https://en.wikipedia.org/wiki/Dichotomy
Linguistic	https://en.wikipedia.org/wiki/Linguistic_entailment
Form	https://en.wikipedia.org/wiki/Logical_form
Induction	https://en.wikipedia.org/wiki/Inductive_reasoning
Logical truth	https://en.wikipedia.org/wiki/Logical_truth
Name	https://en.wikipedia.org/wiki/Name
Necessity and sufficiency	https://en.wikipedia.org/wiki/Necessity_and_sufficiency
Premise	https://en.wikipedia.org/wiki/Premise
Probability	https://en.wikipedia.org/wiki/Probability
Proposition	https://en.wikipedia.org/wiki/Proposition
Reference	https://en.wikipedia.org/wiki/Reference
Statement	https://en.wikipedia.org/wiki/Statement_(logic)
Substitution	https://en.wikipedia.org/wiki/Substitution_(logic)
Truth	https://en.wikipedia.org/wiki/Truth
Validity	https://en.wikipedia.org/wiki/Validity_(logic)
Topics	https://en.wikipedia.org/wiki/Index_of_logic_articles
Mathematical logic	https://en.wikipedia.org/wiki/List_of_mathematical_logic_topics
Boolean algebra	https://en.wikipedia.org/wiki/List_of_Boolean_algebra_topics
Set theory	https://en.wikipedia.org/wiki/List_of_set_theory_topics
Logicians	https://en.wikipedia.org/wiki/List_of_logicians
Rules of inference	https://en.wikipedia.org/wiki/List_of_rules_of_inference
Paradoxes	https://en.wikipedia.org/wiki/List_of_paradoxes
Fallacies	https://en.wikipedia.org/wiki/List_of_fallacies
Logic symbols	https://en.wikipedia.org/wiki/List_of_logic_symbols
Category	https://en.wikipedia.org/wiki/Category:Logic
Outline	https://en.wikipedia.org/wiki/Outline_of_logic
	https://en.wikipedia.org/wiki/File:Symbol_portal_class.svg
Portal	https://en.wikipedia.org/wiki/Portal:Philosophy
WikiProject	https://en.wikipedia.org/wiki/Wikipedia:WikiProject_Logic
changes	https://en.wikipedia.org/w/index.php?title=Special:Recentchangeslinked&target=Template:Logic&hidebots=0
v	https://en.wikipedia.org/wiki/Template:Mathematical_logic
t	https://en.wikipedia.org/wiki/Template_talk:Mathematical_logic
e	https://en.wikipedia.org/wiki/Special:EditPage/Template:Mathematical_logic
Mathematical logic	https://en.wikipedia.org/wiki/Mathematical_logic
Axiom	https://en.wikipedia.org/wiki/Axiom
list	https://en.wikipedia.org/wiki/List_of_axioms
Cardinality	https://en.wikipedia.org/wiki/Cardinality
First-order logic	https://en.wikipedia.org/wiki/First-order_logic
Formal proof	https://en.wikipedia.org/wiki/Formal_proof
Formal semantics	https://en.wikipedia.org/wiki/Formal_semantics_(logic)
Foundations of mathematics	https://en.wikipedia.org/wiki/Foundations_of_mathematics
Information theory	https://en.wikipedia.org/wiki/Information_theory
Lemma	https://en.wikipedia.org/wiki/Lemma_(mathematics)
Model	https://en.wikipedia.org/wiki/Structure_(mathematical_logic)
Theorem	https://en.wikipedia.org/wiki/Theorem
Theory	https://en.wikipedia.org/wiki/Theory_(mathematical_logic)
Type theory	https://en.wikipedia.org/wiki/Type_theory
list	https://en.wikipedia.org/wiki/Category:Theorems_in_the_foundations_of_mathematics
paradoxes	https://en.wikipedia.org/wiki/Paradoxes_of_set_theory
Gödel's completeness	https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem
incompleteness theorems	https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
Tarski's undefinability	https://en.wikipedia.org/wiki/Tarski%27s_undefinability_theorem
Banach–Tarski paradox	https://en.wikipedia.org/wiki/Banach%E2%80%93Tarski_paradox
Cantor's theorem	https://en.wikipedia.org/wiki/Cantor%27s_theorem
paradox	https://en.wikipedia.org/wiki/Cantor%27s_paradox
diagonal argument	https://en.wikipedia.org/wiki/Cantor%27s_diagonal_argument
Compactness	https://en.wikipedia.org/wiki/Compactness_theorem
Halting problem	https://en.wikipedia.org/wiki/Halting_problem
Lindström's	https://en.wikipedia.org/wiki/Lindstr%C3%B6m%27s_theorem
Löwenheim–Skolem	https://en.wikipedia.org/wiki/L%C3%B6wenheim%E2%80%93Skolem_theorem
Russell's paradox	https://en.wikipedia.org/wiki/Russell%27s_paradox
Logics	https://en.wikipedia.org/wiki/Logic
Traditional	https://en.wikipedia.org/wiki/Term_logic
Classical logic	https://en.wikipedia.org/wiki/Classical_logic
Logical truth	https://en.wikipedia.org/wiki/Logical_truth
Tautology	https://en.wikipedia.org/wiki/Tautology_(logic)
Proposition	https://en.wikipedia.org/wiki/Proposition
Inference	https://en.wikipedia.org/wiki/Inference
Logical equivalence	https://en.wikipedia.org/wiki/Logical_equivalence
Consistency	https://en.wikipedia.org/wiki/Consistency
Equiconsistency	https://en.wikipedia.org/wiki/Equiconsistency
Argument	https://en.wikipedia.org/wiki/Argument
Soundness	https://en.wikipedia.org/wiki/Soundness
Validity	https://en.wikipedia.org/wiki/Validity_(logic)
Syllogism	https://en.wikipedia.org/wiki/Syllogism
Square of opposition	https://en.wikipedia.org/wiki/Square_of_opposition
Venn diagram	https://en.wikipedia.org/wiki/Venn_diagram
Propositional	https://en.wikipedia.org/wiki/Propositional_calculus
Boolean algebra	https://en.wikipedia.org/wiki/Boolean_algebra
Boolean functions	https://en.wikipedia.org/wiki/Boolean_function
Logical connectives	https://en.wikipedia.org/wiki/Logical_connective
Propositional calculus	https://en.wikipedia.org/wiki/Propositional_calculus
Propositional formula	https://en.wikipedia.org/wiki/Propositional_formula
Truth tables	https://en.wikipedia.org/wiki/Truth_table
Many-valued logic	https://en.wikipedia.org/wiki/Many-valued_logic
3	https://en.wikipedia.org/wiki/Three-valued_logic
finite	https://en.wikipedia.org/wiki/Finite-valued_logic
∞	https://en.wikipedia.org/wiki/Infinite-valued_logic
Predicate	https://en.wikipedia.org/wiki/Predicate_logic
First-order	https://en.wikipedia.org/wiki/First-order_logic
list	https://en.wikipedia.org/wiki/List_of_first-order_theories
Second-order	https://en.wikipedia.org/wiki/Second-order_logic
Monadic	https://en.wikipedia.org/wiki/Monadic_second-order_logic
Higher-order	https://en.wikipedia.org/wiki/Higher-order_logic
Fixed-point	https://en.wikipedia.org/wiki/Fixed-point_logic
Free	https://en.wikipedia.org/wiki/Free_logic
Quantifiers	https://en.wikipedia.org/wiki/Quantifier_(logic)
Predicate	https://en.wikipedia.org/wiki/Predicate_(mathematical_logic)
Monadic predicate calculus	https://en.wikipedia.org/wiki/Monadic_predicate_calculus
Set theory	https://en.wikipedia.org/wiki/Set_theory
Set	https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory
hereditary	https://en.wikipedia.org/wiki/Hereditary_set
Class	https://en.wikipedia.org/wiki/Class_(set_theory)
Ur-	https://en.wikipedia.org/wiki/Urelement
Element	https://en.wikipedia.org/wiki/Element_(mathematics)
Ordinal number	https://en.wikipedia.org/wiki/Ordinal_number
Extensionality	https://en.wikipedia.org/wiki/Extensionality
Forcing	https://en.wikipedia.org/wiki/Forcing_(mathematics)
Relation	https://en.wikipedia.org/wiki/Relation_(mathematics)
equivalence	https://en.wikipedia.org/wiki/Equivalence_relation
partition	https://en.wikipedia.org/wiki/Partition_of_a_set
intersection	https://en.wikipedia.org/wiki/Intersection_(set_theory)
union	https://en.wikipedia.org/wiki/Union_(set_theory)
complement	https://en.wikipedia.org/wiki/Complement_(set_theory)
Cartesian product	https://en.wikipedia.org/wiki/Cartesian_product
power set	https://en.wikipedia.org/wiki/Power_set
identities	https://en.wikipedia.org/wiki/List_of_set_identities_and_relations
sets	https://en.wikipedia.org/wiki/Set_(mathematics)
Countable	https://en.wikipedia.org/wiki/Countable_set
Uncountable	https://en.wikipedia.org/wiki/Uncountable_set
Empty	https://en.wikipedia.org/wiki/Empty_set
Inhabited	https://en.wikipedia.org/wiki/Inhabited_set
Singleton	https://en.wikipedia.org/wiki/Singleton_(mathematics)
Finite	https://en.wikipedia.org/wiki/Finite_set
Infinite	https://en.wikipedia.org/wiki/Infinite_set
Transitive	https://en.wikipedia.org/wiki/Transitive_set
Ultrafilter	https://en.wikipedia.org/wiki/Ultrafilter_(set_theory)
Recursive	https://en.wikipedia.org/wiki/Recursive_set
Fuzzy	https://en.wikipedia.org/wiki/Fuzzy_set
Universal	https://en.wikipedia.org/wiki/Universal_set
Universe	https://en.wikipedia.org/wiki/Universe_(mathematics)
constructible	https://en.wikipedia.org/wiki/Constructible_universe
Grothendieck	https://en.wikipedia.org/wiki/Grothendieck_universe
Von Neumann	https://en.wikipedia.org/wiki/Von_Neumann_universe
Maps	https://en.wikipedia.org/wiki/Map_(mathematics)
cardinality	https://en.wikipedia.org/wiki/Cardinality
Function	https://en.wikipedia.org/wiki/Function_(mathematics)
Map	https://en.wikipedia.org/wiki/Map_(mathematics)
domain	https://en.wikipedia.org/wiki/Domain_of_a_function
codomain	https://en.wikipedia.org/wiki/Codomain
image	https://en.wikipedia.org/wiki/Image_(mathematics)
In	https://en.wikipedia.org/wiki/Injective_function
Sur	https://en.wikipedia.org/wiki/Surjective_function
Bi	https://en.wikipedia.org/wiki/Bijection
Schröder–Bernstein theorem	https://en.wikipedia.org/wiki/Schr%C3%B6der%E2%80%93Bernstein_theorem
Isomorphism	https://en.wikipedia.org/wiki/Isomorphism
Gödel numbering	https://en.wikipedia.org/wiki/G%C3%B6del_numbering
Enumeration	https://en.wikipedia.org/wiki/Enumeration
Large cardinal	https://en.wikipedia.org/wiki/Large_cardinal
inaccessible	https://en.wikipedia.org/wiki/Inaccessible_cardinal
Aleph number	https://en.wikipedia.org/wiki/Aleph_number
Operation	https://en.wikipedia.org/wiki/Operation_(mathematics)
binary	https://en.wikipedia.org/wiki/Binary_operation
Zermelo–Fraenkel	https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory
axiom of choice	https://en.wikipedia.org/wiki/Axiom_of_choice
continuum hypothesis	https://en.wikipedia.org/wiki/Continuum_hypothesis
General	https://en.wikipedia.org/wiki/General_set_theory
Kripke–Platek	https://en.wikipedia.org/wiki/Kripke%E2%80%93Platek_set_theory
Morse–Kelley	https://en.wikipedia.org/wiki/Morse%E2%80%93Kelley_set_theory
Naive	https://en.wikipedia.org/wiki/Naive_set_theory
New Foundations	https://en.wikipedia.org/wiki/New_Foundations
Tarski–Grothendieck	https://en.wikipedia.org/wiki/Tarski%E2%80%93Grothendieck_set_theory
Von Neumann–Bernays–Gödel	https://en.wikipedia.org/wiki/Von_Neumann%E2%80%93Bernays%E2%80%93G%C3%B6del_set_theory
Ackermann	https://en.wikipedia.org/wiki/Ackermann_set_theory
Constructive	https://en.wikipedia.org/wiki/Constructive_set_theory
Formalsystems	https://en.wikipedia.org/wiki/Formal_system
list	https://en.wikipedia.org/wiki/List_of_formal_systems
language	https://en.wikipedia.org/wiki/Formal_language
syntax	https://en.wikipedia.org/wiki/Syntax_(logic)
Alphabet	https://en.wikipedia.org/wiki/Alphabet_(formal_languages)
Arity	https://en.wikipedia.org/wiki/Arity
Automata	https://en.wikipedia.org/wiki/Automata_theory
Axiom schema	https://en.wikipedia.org/wiki/Axiom_schema
Expression	https://en.wikipedia.org/wiki/Expression_(mathematics)
ground	https://en.wikipedia.org/wiki/Ground_expression
Extension	https://en.wikipedia.org/wiki/Extension_by_new_constant_and_function_names
by definition	https://en.wikipedia.org/wiki/Extension_by_definitions
conservative	https://en.wikipedia.org/wiki/Conservative_extension
Relation	https://en.wikipedia.org/wiki/Finitary_relation
Formation rule	https://en.wikipedia.org/wiki/Formation_rule
Grammar	https://en.wikipedia.org/wiki/Formal_grammar
Formula	https://en.wikipedia.org/wiki/Well-formed_formula
atomic	https://en.wikipedia.org/wiki/Atomic_formula
closed	https://en.wikipedia.org/wiki/Sentence_(mathematical_logic)
ground	https://en.wikipedia.org/wiki/Ground_formula
open	https://en.wikipedia.org/wiki/Open_formula
Free/bound variable	https://en.wikipedia.org/wiki/Free_variables_and_bound_variables
Language	https://en.wikipedia.org/wiki/Formal_language
Metalanguage	https://en.wikipedia.org/wiki/Metalanguage
Logical connective	https://en.wikipedia.org/wiki/Logical_connective
¬	https://en.wikipedia.org/wiki/Negation
∨	https://en.wikipedia.org/wiki/Logical_disjunction
∧	https://en.wikipedia.org/wiki/Logical_conjunction
→	https://en.wikipedia.org/wiki/Material_conditional
↔	https://en.wikipedia.org/wiki/Logical_biconditional
=	https://en.wikipedia.org/wiki/Logical_equality
Predicate	https://en.wikipedia.org/wiki/Predicate_(mathematical_logic)
functional	https://en.wikipedia.org/wiki/Functional_predicate
variable	https://en.wikipedia.org/wiki/Predicate_variable
propositional variable	https://en.wikipedia.org/wiki/Propositional_variable
Proof	https://en.wikipedia.org/wiki/Formal_proof
Quantifier	https://en.wikipedia.org/wiki/Quantifier_(logic)
∃	https://en.wikipedia.org/wiki/Existential_quantification
!	https://en.wikipedia.org/wiki/Uniqueness_quantification
∀	https://en.wikipedia.org/wiki/Universal_quantification
rank	https://en.wikipedia.org/wiki/Quantifier_rank
Sentence	https://en.wikipedia.org/wiki/Sentence_(mathematical_logic)
atomic	https://en.wikipedia.org/wiki/Atomic_sentence
spectrum	https://en.wikipedia.org/wiki/Spectrum_of_a_sentence
Signature	https://en.wikipedia.org/wiki/Signature_(logic)
String	https://en.wikipedia.org/wiki/String_(formal_languages)
Substitution	https://en.wikipedia.org/wiki/Substitution_(logic)
Symbol	https://en.wikipedia.org/wiki/Symbol_(formal)
function	https://en.wikipedia.org/wiki/Uninterpreted_function
logical/constant	https://en.wikipedia.org/wiki/Logical_constant
non-logical	https://en.wikipedia.org/wiki/Non-logical_symbol
variable	https://en.wikipedia.org/wiki/Variable_(mathematics)
Term	https://en.wikipedia.org/wiki/Term_(logic)
Theory	https://en.wikipedia.org/wiki/Theory_(mathematical_logic)
list	https://en.wikipedia.org/wiki/List_of_mathematical_theories
axiomaticsystems	https://en.wikipedia.org/wiki/Axiomatic_system
list	https://en.wikipedia.org/wiki/List_of_first-order_theories
true arithmetic	https://en.wikipedia.org/wiki/True_arithmetic
Peano	https://en.wikipedia.org/wiki/Peano_axioms
second-order	https://en.wikipedia.org/wiki/Second-order_arithmetic
elementary function	https://en.wikipedia.org/wiki/Elementary_function_arithmetic
primitive recursive	https://en.wikipedia.org/wiki/Primitive_recursive_arithmetic
Robinson	https://en.wikipedia.org/wiki/Robinson_arithmetic
Skolem	https://en.wikipedia.org/wiki/Skolem_arithmetic
real numbers	https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
Tarski's axiomatization	https://en.wikipedia.org/wiki/Tarski%27s_axiomatization_of_the_reals
Boolean algebras	https://en.wikipedia.org/wiki/Axiomatization_of_Boolean_algebras
canonical	https://en.wikipedia.org/wiki/Boolean_algebras_canonically_defined
minimal axioms	https://en.wikipedia.org/wiki/Minimal_axioms_for_Boolean_algebra
geometry	https://en.wikipedia.org/wiki/Foundations_of_geometry
Euclidean	https://en.wikipedia.org/wiki/Euclidean_geometry
Elements	https://en.wikipedia.org/wiki/Euclid%27s_Elements
Hilbert's	https://en.wikipedia.org/wiki/Hilbert%27s_axioms
Tarski's	https://en.wikipedia.org/wiki/Tarski%27s_axioms
non-Euclidean	https://en.wikipedia.org/wiki/Non-Euclidean_geometry
Principia Mathematica	https://en.wikipedia.org/wiki/Principia_Mathematica
Proof theory	https://en.wikipedia.org/wiki/Proof_theory
Formal proof	https://en.wikipedia.org/wiki/Formal_proof
Natural deduction	https://en.wikipedia.org/wiki/Natural_deduction
Rule of inference	https://en.wikipedia.org/wiki/Rule_of_inference
Sequent calculus	https://en.wikipedia.org/wiki/Sequent_calculus
Theorem	https://en.wikipedia.org/wiki/Theorem
Systems	https://en.wikipedia.org/wiki/Formal_system
axiomatic	https://en.wikipedia.org/wiki/Axiomatic_system
deductive	https://en.wikipedia.org/wiki/Deductive_system
Hilbert	https://en.wikipedia.org/wiki/Hilbert_system
list	https://en.wikipedia.org/wiki/List_of_Hilbert_systems
Complete theory	https://en.wikipedia.org/wiki/Complete_theory
Independence	https://en.wikipedia.org/wiki/Independence_(mathematical_logic)
from ZFC	https://en.wikipedia.org/wiki/List_of_statements_independent_of_ZFC
Proof of impossibility	https://en.wikipedia.org/wiki/Proof_of_impossibility
Ordinal analysis	https://en.wikipedia.org/wiki/Ordinal_analysis
Reverse mathematics	https://en.wikipedia.org/wiki/Reverse_mathematics
Self-verifying theories	https://en.wikipedia.org/wiki/Self-verifying_theories
Model theory	https://en.wikipedia.org/wiki/Model_theory
Interpretation	https://en.wikipedia.org/wiki/Interpretation_(logic)
function	https://en.wikipedia.org/wiki/Interpretation_function
of models	https://en.wikipedia.org/wiki/Interpretation_(model_theory)
Model	https://en.wikipedia.org/wiki/Structure_(mathematical_logic)
atomic	https://en.wikipedia.org/wiki/Atomic_model_(mathematical_logic)
equivalence	https://en.wikipedia.org/wiki/Elementary_equivalence
finite	https://en.wikipedia.org/wiki/Finite_model_theory
prime	https://en.wikipedia.org/wiki/Prime_model
saturated	https://en.wikipedia.org/wiki/Saturated_model
spectrum	https://en.wikipedia.org/wiki/Spectrum_of_a_theory
submodel	https://en.wikipedia.org/wiki/Substructure_(mathematics)
Non-standard model	https://en.wikipedia.org/wiki/Non-standard_model
non-standard arithmetic	https://en.wikipedia.org/wiki/Non-standard_model_of_arithmetic
Diagram	https://en.wikipedia.org/wiki/Diagram_(mathematical_logic)
elementary	https://en.wikipedia.org/wiki/Elementary_diagram
Categorical theory	https://en.wikipedia.org/wiki/Categorical_theory
Model complete theory	https://en.wikipedia.org/wiki/Model_complete_theory
Satisfiability	https://en.wikipedia.org/wiki/Satisfiability
Semantics of logic	https://en.wikipedia.org/wiki/Semantics_of_logic
Strength	https://en.wikipedia.org/wiki/Strength_(mathematical_logic)
Theories of truth	https://en.wikipedia.org/wiki/Theories_of_truth
semantic	https://en.wikipedia.org/wiki/Semantic_theory_of_truth
Tarski's	https://en.wikipedia.org/wiki/Tarski%27s_theory_of_truth
Kripke's	https://en.wikipedia.org/wiki/Kripke%27s_theory_of_truth
T-schema	https://en.wikipedia.org/wiki/T-schema
Transfer principle	https://en.wikipedia.org/wiki/Transfer_principle
Truth predicate	https://en.wikipedia.org/wiki/Truth_predicate
Truth value	https://en.wikipedia.org/wiki/Truth_value
Type	https://en.wikipedia.org/wiki/Type_(model_theory)
Ultraproduct	https://en.wikipedia.org/wiki/Ultraproduct
Validity	https://en.wikipedia.org/wiki/Validity_(logic)
Computabilitytheory	https://en.wikipedia.org/wiki/Computability_theory
Church encoding	https://en.wikipedia.org/wiki/Church_encoding
Church–Turing thesis	https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis
Computably enumerable	https://en.wikipedia.org/wiki/Computably_enumerable_set
Computable function	https://en.wikipedia.org/wiki/Computable_function
Computable set	https://en.wikipedia.org/wiki/Computable_set
Decision problem	https://en.wikipedia.org/wiki/Decision_problem
decidable	https://en.wikipedia.org/wiki/Decidability_(logic)
undecidable	https://en.wikipedia.org/wiki/Undecidable_problem
P	https://en.wikipedia.org/wiki/P_(complexity)
NP	https://en.wikipedia.org/wiki/NP_(complexity)
P versus NP problem	https://en.wikipedia.org/wiki/P_versus_NP_problem
Kolmogorov complexity	https://en.wikipedia.org/wiki/Kolmogorov_complexity
Lambda calculus	https://en.wikipedia.org/wiki/Lambda_calculus
Primitive recursive function	https://en.wikipedia.org/wiki/Primitive_recursive_function
Recursion	https://en.wikipedia.org/wiki/Recursion
Recursive set	https://en.wikipedia.org/wiki/Recursive_set
Turing machine	https://en.wikipedia.org/wiki/Turing_machine
Type theory	https://en.wikipedia.org/wiki/Type_theory
Abstract logic	https://en.wikipedia.org/wiki/Abstract_logic
Algebraic logic	https://en.wikipedia.org/wiki/Algebraic_logic
Automated theorem proving	https://en.wikipedia.org/wiki/Automated_theorem_proving
Category theory	https://en.wikipedia.org/wiki/Category_theory
Concrete	https://en.wikipedia.org/wiki/Concrete_category
Abstract category	https://en.wikipedia.org/wiki/Category_(mathematics)
Category of sets	https://en.wikipedia.org/wiki/Category_of_sets
History of logic	https://en.wikipedia.org/wiki/History_of_logic
History of mathematical logic	https://en.wikipedia.org/wiki/History_of_mathematical_logic
timeline	https://en.wikipedia.org/wiki/Timeline_of_mathematical_logic
Logicism	https://en.wikipedia.org/wiki/Logicism
Mathematical object	https://en.wikipedia.org/wiki/Mathematical_object
Philosophy of mathematics	https://en.wikipedia.org/wiki/Philosophy_of_mathematics
Supertask	https://en.wikipedia.org/wiki/Supertask
	https://en.wikipedia.org/wiki/File:Nuvola_apps_edu_mathematics_blue-p.svg
Mathematics portal	https://en.wikipedia.org/wiki/Portal:Mathematics
v	https://en.wikipedia.org/wiki/Template:Logical_connectives
t	https://en.wikipedia.org/wiki/Template_talk:Logical_connectives
e	https://en.wikipedia.org/wiki/Special:EditPage/Template:Logical_connectives
logical connectives	https://en.wikipedia.org/wiki/Logical_connective
Tautology	https://en.wikipedia.org/wiki/Tautology_(logic)
True	https://en.wikipedia.org/wiki/Logical_truth
	https://en.wikipedia.org/wiki/File:Logical_connectives_Hasse_diagram.svg
Alternative denial	https://en.wikipedia.org/wiki/Sheffer_stroke
NAND gate	https://en.wikipedia.org/wiki/NAND_gate
Converse implication	https://en.wikipedia.org/wiki/Converse_(logic)
Implication	https://en.wikipedia.org/wiki/Material_conditional
IMPLY gate	https://en.wikipedia.org/wiki/IMPLY_gate
Disjunction	https://en.wikipedia.org/wiki/Logical_disjunction
OR gate	https://en.wikipedia.org/wiki/OR_gate
Negation	https://en.wikipedia.org/wiki/Negation
NOT gate	https://en.wikipedia.org/wiki/Inverter_(logic_gate)
Exclusive or	https://en.wikipedia.org/wiki/Exclusive_or
XOR gate	https://en.wikipedia.org/wiki/XOR_gate
Biconditional	https://en.wikipedia.org/wiki/Logical_biconditional
XNOR gate	https://en.wikipedia.org/wiki/XNOR_gate
Statement	https://en.wikipedia.org/wiki/Statement_(logic)
Digital buffer	https://en.wikipedia.org/wiki/Digital_buffer
Joint denial	https://en.wikipedia.org/wiki/Logical_NOR
NOR gate	https://en.wikipedia.org/wiki/NOR_gate
Nonimplication	https://en.wikipedia.org/wiki/Material_nonimplication
NIMPLY gate	https://en.wikipedia.org/wiki/NIMPLY_gate
Converse nonimplication	https://en.wikipedia.org/wiki/Converse_nonimplication
Conjunction	https://en.wikipedia.org/wiki/Logical_conjunction
AND gate	https://en.wikipedia.org/wiki/AND_gate
Contradiction	https://en.wikipedia.org/wiki/Contradiction
False	https://en.wikipedia.org/wiki/False_(logic)
Philosophy portal	https://en.wikipedia.org/wiki/Portal:Philosophy
v	https://en.wikipedia.org/wiki/Template:Common_logical_symbols
t	https://en.wikipedia.org/wiki/Template_talk:Common_logical_symbols
e	https://en.wikipedia.org/wiki/Special:EditPage/Template:Common_logical_symbols
logical symbols	https://en.wikipedia.org/wiki/List_of_logic_symbols
∧	https://en.wikipedia.org/wiki/Wedge_(symbol)
&	https://en.wikipedia.org/wiki/Ampersand
and	https://en.wikipedia.org/wiki/Logical_conjunction
∨	https://en.wikipedia.org/wiki/Vel_(symbol)
or	https://en.wikipedia.org/wiki/Logical_disjunction
¬	https://en.wikipedia.org/wiki/Negation
~	https://en.wikipedia.org/wiki/Tilde
not	https://en.wikipedia.org/wiki/Negation
→	https://en.wikipedia.org/wiki/Arrow_(symbol)
implies	https://en.wikipedia.org/wiki/Material_conditional
⊃	https://en.wikipedia.org/wiki/Horseshoe_(symbol)
implies	https://en.wikipedia.org/wiki/Material_conditional
superset	https://en.wikipedia.org/wiki/Subset
↔	https://en.wikipedia.org/wiki/Arrow_(symbol)
≡	https://en.wikipedia.org/wiki/Triple_bar
iff	https://en.wikipedia.org/wiki/If_and_only_if
\|	https://en.wikipedia.org/wiki/Sheffer_stroke
nand	https://en.wikipedia.org/wiki/Sheffer_stroke
∀	https://en.wikipedia.org/wiki/Turned_A
universalquantification	https://en.wikipedia.org/wiki/Universal_quantification
∃	https://en.wikipedia.org/wiki/Existential_quantification
existentialquantification	https://en.wikipedia.org/wiki/Existential_quantification
⊤	https://en.wikipedia.org/wiki/Tee_(symbol)
true	https://en.wikipedia.org/wiki/True_(logic)
tautology	https://en.wikipedia.org/wiki/Tautology_(logic)
⊥	https://en.wikipedia.org/wiki/Up_tack
false	https://en.wikipedia.org/wiki/False_(logic)
contradiction	https://en.wikipedia.org/wiki/Contradiction
⊢	https://en.wikipedia.org/wiki/Turnstile_(symbol)
entails,proves	https://en.wikipedia.org/wiki/Turnstile_(symbol)
⊨	https://en.wikipedia.org/wiki/Double_turnstile
entails,therefore	https://en.wikipedia.org/wiki/Double_turnstile
∴	https://en.wikipedia.org/wiki/Therefore_sign
∵	https://en.wikipedia.org/wiki/Therefore_sign#Similar_signs
because	https://en.wikipedia.org/wiki/Therefore_sign#Similar_signs
Philosophy portal	https://en.wikipedia.org/wiki/Portal:Philosophy
	https://en.wikipedia.org/wiki/File:Nuvola_apps_edu_mathematics_blue-p.svg
Mathematics portal	https://en.wikipedia.org/wiki/Portal:Mathematics
v	https://en.wikipedia.org/wiki/Template:Formal_semantics
t	https://en.wikipedia.org/wiki/Template_talk:Formal_semantics
e	https://en.wikipedia.org/wiki/Special:EditPage/Template:Formal_semantics
Formal semantics (natural language)	https://en.wikipedia.org/wiki/Formal_semantics_(natural_language)
Compositionality	https://en.wikipedia.org/wiki/Principle_of_compositionality
Denotation	https://en.wikipedia.org/wiki/Denotation
Entailment	https://en.wikipedia.org/wiki/Linguistic_entailment
Extension	https://en.wikipedia.org/wiki/Extension_(semantics)
Generalized quantifier	https://en.wikipedia.org/wiki/Generalized_quantifier
Intension	https://en.wikipedia.org/wiki/Intension
Logical form	https://en.wikipedia.org/wiki/Logical_form_(linguistics)
Presupposition	https://en.wikipedia.org/wiki/Presupposition
Proposition	https://en.wikipedia.org/wiki/Proposition
Reference	https://en.wikipedia.org/wiki/Reference
Scope	https://en.wikipedia.org/wiki/Scope_(formal_semantics)
Speech act	https://en.wikipedia.org/wiki/Speech_act
Syntax–semantics interface	https://en.wikipedia.org/wiki/Syntax%E2%80%93semantics_interface
Truth conditions	https://en.wikipedia.org/wiki/Truth-conditional_semantics
Anaphora	https://en.wikipedia.org/wiki/Anaphora_(linguistics)
Ambiguity	https://en.wikipedia.org/wiki/Ambiguity
Binding	https://en.wikipedia.org/wiki/Binding_(linguistics)
Conditionals	https://en.wikipedia.org/wiki/Conditional_sentence
Definiteness	https://en.wikipedia.org/wiki/Definiteness
Disjunction	https://en.wikipedia.org/wiki/Disjunction
Evidentiality	https://en.wikipedia.org/wiki/Evidentiality
Focus	https://en.wikipedia.org/wiki/Focus_(linguistics)
Indexicality	https://en.wikipedia.org/wiki/Indexicality
Lexical semantics	https://en.wikipedia.org/wiki/Lexical_semantics
Modality	https://en.wikipedia.org/wiki/Modality_(semantics)
Negation	https://en.wikipedia.org/wiki/Negation
Propositional attitudes	https://en.wikipedia.org/wiki/Propositional_attitudes
Tense–aspect–mood	https://en.wikipedia.org/wiki/Tense%E2%80%93aspect%E2%80%93mood
Quantification	https://en.wikipedia.org/wiki/Quantifier_(logic)
Vagueness	https://en.wikipedia.org/wiki/Vagueness
Antecedent-contained deletion	https://en.wikipedia.org/wiki/Antecedent-contained_deletion
Cataphora	https://en.wikipedia.org/wiki/Cataphora
Coercion	https://en.wikipedia.org/wiki/Coercion_(linguistics)
Conservativity	https://en.wikipedia.org/wiki/Conservativity
Counterfactuals	https://en.wikipedia.org/wiki/Counterfactuals
Crossover effects	https://en.wikipedia.org/wiki/Crossover_effects
Cumulativity	https://en.wikipedia.org/wiki/Cumulativity_(linguistics)
De dicto and de re	https://en.wikipedia.org/wiki/De_dicto_and_de_re
De se	https://en.wikipedia.org/wiki/De_se
Deontic modality	https://en.wikipedia.org/wiki/Deontic_modality
Discourse relations	https://en.wikipedia.org/wiki/Discourse_relation
Donkey anaphora	https://en.wikipedia.org/wiki/Donkey_anaphora
Epistemic modality	https://en.wikipedia.org/wiki/Epistemic_modality
Exhaustivity	https://en.wikipedia.org/wiki/Exhaustivity
Faultless disagreement	https://en.wikipedia.org/wiki/Faultless_disagreement
Free choice inferences	https://en.wikipedia.org/wiki/Free_choice_inference
Givenness	https://en.wikipedia.org/wiki/Givenness
Homogeneity (linguistics)	https://en.wikipedia.org/wiki/Homogeneity_(linguistics)
Hurford disjunction	https://en.wikipedia.org/wiki/Hurford_disjunction
Inalienable possession	https://en.wikipedia.org/wiki/Inalienable_possession
Intersective modification	https://en.wikipedia.org/wiki/Intersective_modifier
Logophoricity	https://en.wikipedia.org/wiki/Logophoricity
Mirativity	https://en.wikipedia.org/wiki/Mirativity
Modal subordination	https://en.wikipedia.org/wiki/Modal_subordination
Opaque contexts	https://en.wikipedia.org/wiki/Opaque_context
Performatives	https://en.wikipedia.org/wiki/Performative_utterance
Polarity items	https://en.wikipedia.org/wiki/Polarity_item
Privative adjectives	https://en.wikipedia.org/wiki/Privative_adjective
Quantificational variability effect	https://en.wikipedia.org/wiki/Quantificational_variability_effect
Responsive predicate	https://en.wikipedia.org/wiki/Responsive_predicate
Rising declaratives	https://en.wikipedia.org/wiki/Rising_declarative
Scalar implicature	https://en.wikipedia.org/wiki/Scalar_implicature
Sloppy identity	https://en.wikipedia.org/wiki/Sloppy_identity
Subsective modification	https://en.wikipedia.org/wiki/Subsective_modifier
Subtrigging	https://en.wikipedia.org/wiki/Subtrigging
Telicity	https://en.wikipedia.org/wiki/Telicity
Temperature paradox	https://en.wikipedia.org/wiki/Temperature_paradox
Veridicality	https://en.wikipedia.org/wiki/Veridicality
Alternative semantics	https://en.wikipedia.org/wiki/Alternative_semantics
Categorial grammar	https://en.wikipedia.org/wiki/Categorial_grammar
Combinatory categorial grammar	https://en.wikipedia.org/wiki/Combinatory_categorial_grammar
Discourse representation theory (DRT)	https://en.wikipedia.org/wiki/Discourse_representation_theory
Dynamic semantics	https://en.wikipedia.org/wiki/Dynamic_semantics
Generative grammar	https://en.wikipedia.org/wiki/Generative_grammar
Glue semantics	https://en.wikipedia.org/wiki/Glue_semantics
Inquisitive semantics	https://en.wikipedia.org/wiki/Inquisitive_semantics
Intensional logic	https://en.wikipedia.org/wiki/Intensional_logic
Lambda calculus	https://en.wikipedia.org/wiki/Lambda_calculus
Mereology	https://en.wikipedia.org/wiki/Mereology
Montague grammar	https://en.wikipedia.org/wiki/Montague_grammar
Segmented discourse representation theory (SDRT)	https://en.wikipedia.org/wiki/Segmented_discourse_representation_theory
Situation semantics	https://en.wikipedia.org/wiki/Situation_semantics
Supervaluationism	https://en.wikipedia.org/wiki/Supervaluationism
Type theory	https://en.wikipedia.org/wiki/Type_theory
TTR	https://en.wikipedia.org/wiki/Type_theory_with_records
Autonomy of syntax	https://en.wikipedia.org/wiki/Autonomy_of_syntax
Context set	https://en.wikipedia.org/wiki/Context_set
Continuation	https://en.wikipedia.org/wiki/Continuation
Conversational scoreboard	https://en.wikipedia.org/wiki/Conversational_scoreboard
Downward entailing	https://en.wikipedia.org/wiki/Downward_entailing
Existential closure	https://en.wikipedia.org/wiki/Existential_closure
Function application	https://en.wikipedia.org/wiki/Function_application
Meaning postulate	https://en.wikipedia.org/wiki/Meaning_postulate
Monads	https://en.wikipedia.org/wiki/Monad_(functional_programming)
Plural quantification	https://en.wikipedia.org/wiki/Plural_quantification
Possible world	https://en.wikipedia.org/wiki/Possible_world
Quantifier raising	https://en.wikipedia.org/wiki/Quantifier_raising
Quantization	https://en.wikipedia.org/wiki/Quantization_(linguistics)
Question under discussion	https://en.wikipedia.org/wiki/Question_under_discussion
Semantic parsing	https://en.wikipedia.org/wiki/Semantic_parsing
Squiggle operator	https://en.wikipedia.org/wiki/Squiggle_operator
Strawson entailment	https://en.wikipedia.org/wiki/Strawson_entailment
Strict conditional	https://en.wikipedia.org/wiki/Strict_conditional
Type shifter	https://en.wikipedia.org/wiki/Type_shifter
Universal grinder	https://en.wikipedia.org/wiki/Universal_grinder
Cognitive semantics	https://en.wikipedia.org/wiki/Cognitive_semantics
Computational semantics	https://en.wikipedia.org/wiki/Computational_semantics
Distributional semantics	https://en.wikipedia.org/wiki/Distributional_semantics
Formal grammar	https://en.wikipedia.org/wiki/Formal_grammar
Inferentialism	https://en.wikipedia.org/wiki/Inferentialism
Logic translation	https://en.wikipedia.org/wiki/Logic_translation
Linguistics wars	https://en.wikipedia.org/wiki/Linguistics_wars
Philosophy of language	https://en.wikipedia.org/wiki/Philosophy_of_language
Pragmatics	https://en.wikipedia.org/wiki/Pragmatics
Semantics of logic	https://en.wikipedia.org/wiki/Semantics_(logic)
Authority control databases	https://en.wikipedia.org/wiki/Help:Authority_control
	https://www.wikidata.org/wiki/Q374182#identifiers
GND	https://d-nb.info/gnd/4161414-8
Poland	https://dbn.bn.org.pl/descriptor-details/9810693501105606
https://en.wikipedia.org/w/index.php?title=Logical_consequence&oldid=1328011163	https://en.wikipedia.org/w/index.php?title=Logical_consequence&oldid=1328011163
Categories	https://en.wikipedia.org/wiki/Help:Category
Logical consequence	https://en.wikipedia.org/wiki/Category:Logical_consequence
Philosophical logic	https://en.wikipedia.org/wiki/Category:Philosophical_logic
Metalogic	https://en.wikipedia.org/wiki/Category:Metalogic
Propositional calculus	https://en.wikipedia.org/wiki/Category:Propositional_calculus
Semantic units	https://en.wikipedia.org/wiki/Category:Semantic_units
Deductive reasoning	https://en.wikipedia.org/wiki/Category:Deductive_reasoning
Concepts in logic	https://en.wikipedia.org/wiki/Category:Concepts_in_logic
Syntax (logic)	https://en.wikipedia.org/wiki/Category:Syntax_(logic)
Binary operations	https://en.wikipedia.org/wiki/Category:Binary_operations
Webarchive template wayback links	https://en.wikipedia.org/wiki/Category:Webarchive_template_wayback_links
Articles with short description	https://en.wikipedia.org/wiki/Category:Articles_with_short_description
Short description is different from Wikidata	https://en.wikipedia.org/wiki/Category:Short_description_is_different_from_Wikidata
Commons category link from Wikidata	https://en.wikipedia.org/wiki/Category:Commons_category_link_from_Wikidata
Articles with Internet Encyclopedia of Philosophy links	https://en.wikipedia.org/wiki/Category:Articles_with_Internet_Encyclopedia_of_Philosophy_links
Creative Commons Attribution-ShareAlike 4.0 License	https://en.wikipedia.org/wiki/Wikipedia:Text_of_the_Creative_Commons_Attribution-ShareAlike_4.0_International_License
Terms of Use	https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use
Privacy Policy	https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy
Wikimedia Foundation, Inc.	https://wikimediafoundation.org/
Privacy policy	https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy
About Wikipedia	https://en.wikipedia.org/wiki/Wikipedia:About
Disclaimers	https://en.wikipedia.org/wiki/Wikipedia:General_disclaimer
Contact Wikipedia	https://en.wikipedia.org/wiki/Wikipedia:Contact_us
Legal & safety contacts	https://foundation.wikimedia.org/wiki/Special:MyLanguage/Legal:Wikimedia_Foundation_Legal_and_Safety_Contact_Information
Code of Conduct	https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct
Developers	https://developer.wikimedia.org
Statistics	https://stats.wikimedia.org/#/en.wikipedia.org
Cookie statement	https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement
Mobile view	https://en.wikipedia.org/w/index.php?title=Logical_consequence&mobileaction=toggle_view_mobile
	https://www.wikimedia.org/
	https://www.mediawiki.org/
	https://en.wikipedia.org/wiki/Logical_consequence
	https://en.wikipedia.org/wiki/Logical_consequence
	https://en.wikipedia.org/wiki/Logical_consequence
	https://en.wikipedia.org/wiki/Logical_consequence
	https://en.wikipedia.org/wiki/Logical_consequence
	https://en.wikipedia.org/wiki/Logical_consequence
	https://en.wikipedia.org/wiki/Logical_consequence
Add topic	https://en.wikipedia.org/wiki/Logical_consequence

Viewport: width=1120

Robots: max-image-preview:standard

URLs of crawlers that visited me.