Linear logic

Formal sciences
Logic
Non-classical logic
Substructural logic

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (8)

Explores the practical application of language theory, including quicksort, gradual typing, and efficient memory management, as well as the challenges of reduction program synthesis.

Sequent Calculus: Basics and Applications

Covers the basics and applications of Sequent Calculus in Logic and Proof Theory, including Cut Elimination and practical proof analysis.

Mathgraph Theorem Prover

Introduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.

Discrete Optimization: Modeling

Covers logical operations and constraints in discrete optimization modeling.

Propositional Logic: Implication and Compound Propositions

Covers logical connectives, implication, biconditional, compound propositions, and truth tables.

Predicate Logic: Quantifiers and Truth Values

Explores existential quantifiers, truth values, and composite statements in predicate logic.

Propositional Logic: Implication and Compound Propositions

Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.

Introduction & Propositional Logic

Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.

Page 1 of 1