Logic nlab

Aucun article

A string diagram calculus for predicate logic Adjoint logic Adjoint modality Affine modality Algebra modality Algebraic model for modal logics Algebraic set theory Allegorical set theory Axiom k Bosonic modality Bounded linear logic Cartesian logic Class function Classical modality Coalgebraic logic Coalgebraic model for modal logic Coherent logic Comodal type Consequent Continuous logic Countable ordinal Coupling proof assistants with machine learning references Deduction Deduction and induction contents Deduction calculus Definable and algebraic closure Dependent product natural deduction table Dependent sum natural deduction table Dependently sorted set theory Differential linear logic Differential logic Disjunctive logic Display logic Dr flat modality Dr shape modality Epistemic modal logic First order modal logic First order set theory First uncountable ordinal Flat modality Flavors of modal logics and relations table Foundations and logic Function realizability Function type natural deduction table Generalized sequential space Geometric model for modal logics Graded linear logic Graded modality Handbook of logic in computer science Handbook of quantum logic and quantum structures Hoare logic Hypersequent calculus Infinitesimal flat modality Infinitesimal shape modality Internal logic Internal logic of set theory K modal logic Language Lifschitz realizability Linear non linear logic Logic as the essence of philosophy Logic circuit Logic symbols table Material set theory Material versus structural set theory Mochizuki's proof of abc Modal hyperdoctrine Modal similarity type Modal type Modalities contents Modality Model structure on sequential spectra Model structure on topological sequential spectra Model theoretic galois theory Model theory contents Model theory of fields Mostowski set theory N truncation modality Neutral non well founded set theory Normal modal logic Number realizability Objective and subjective logic Op modality Open logic project Ordinal subdivision Peirce's logic of information Peripatetic seminar on sheaves and logic Plump ordinal Product natural deduction table Proof assistant Proof assistants and formalization projects list Proof by contradiction Proof of the prime number theorem Proof relevance Realizability model Reduction modality Regular logic Relational set theory Rheonomy modality S4 modal logic S5 modal logic S5 modal logic as epistemic logic references Science of logic

Pas encore d'articles dans cette catégorie — ça arrive.