Logica Wiskundige logica Logica (bedrijf) Preferentiële logica Combinatorische logica Correctheid (logica) Geschiedenis van de logica Symbolische logica Tweewaardige logica Modale logica Meerwaardige logica Driewaardige logica Logica (doorverwijspagina) Klassieke logica Paraconsistente logica Categorische logica Epistemische logica Abstracte logica Fuzzy logic Monotonie (logica) Sterkte (wiskundige logica) Intuïtionisme Logicafamilies Logica van Port-Royal Niet-monotone logica Premisse (logica) Formulering (logica) Narthecoceros logica Argyroploce logica Consistentie (logica) Kwantor (logica) Tijdslogica Argument (logica) Syntaxis (logica) Onafhankelijkheid (w…

wiskundige logica) Atoom (logica) Logische poort Predicatenlogica Tautologie (logica) Johan van Benthem Zin (logica) Organon (Aristoteles) Stelling van Lindström L.T.F. Gamut Curry–Howard-isomorfisme Volledigheidsstelling van Gödel Waarheidswaarde Clausule (logica) Interpretatie (logica) Hoarelogica Contradictie Metalogica Paradox (logica) Diderik Batens Bewijs uit het ongerijmde John Venn Panlogisme Propositie Gevolgtrekking Logische conjunctie Logische ne

gatie Elementaire klasse Megarische School Logische equivalentie Ernst Schröder Natuurlijke deductie Doede Nauta Arnold Oberschelp Nyaya Löwenheim-getal Graham Priest Leon van der Torre Haskell Curry Axiomaschema Jan Łukasiewicz Epistemologisch objectivisme Rineke Verbrugge Martin Hyland Bewijstheorie Benedikt Löwe Beschrijvende verzamelingenleer Evert Willem Beth Tautologie Herbert Enderton Resolutie (logica) NOT-poort Geldigheid Alfons Borgers Anne Sjerp Troelstra Formele wetenschap Wet van de uitgesloten derde Kwantor Jean Paul Van Bendegem Jacques Ruytinx Wilhelmus Antonius de Pater Formulering Wilfrid Hodges Analytica priora Willem Remmelt de Jong Normaalvorm Mathemat