Live briefing
Everything about Formal system
Mathematical model for deduction or proof systems
A formal system is an abstract structure and formalization of an axiomatic system used for deducing, using rules of inference, theorems from axioms. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Formal systemA 5-minute orientation
- Skim a recent paper: Formal Modeling of IoT-Based Distribution Management System for Smart GridsInfluential work since 2022
- Pick up a classic book: Reachability ProblemsThe most-reprinted book on the subject
- Read the landmark paper: A formal description of SYSTEM/360Cited 64 times
- Go sideways: Gödel's completeness theoremA closely related topic
- Go sideways: MetalogicA closely related topic
📖 Definitions
Noun The grouping of a formal language and a set of inference rules and/or axioms.
🏆 Landmark papers (most cited)
A formal description of SYSTEM/360
Formal models for embedded system design
Learning elementary formal system
A formal system for fuzzy reasoning
A formal system for texture languages
Mechanizing structural induction part I: Formal system
A Formal Deductive Problem-Solving System
Formal specification of an access control system
🆕 Influential since 2022
Formal Modeling of IoT-Based Distribution Management System for Smart Grids
Brazil’s Formal E-Waste Recycling System: From Disposal to Reverse Manufacturing
Blockchain and Artificial Intelligence Non-Formal Education System (BANFES)
System Archetypes Underlying Formal-Informal Urban Water Supply Dynamics
An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement
📚 Books worth reading
Reachability ProblemsParosh Aziz Abdulla, Igor Potapov · 2010
Artificial general intelligenceBen Goertzel, Cassio Pennachin · 2007
Software Specification MethodsHenri Habrias · 2000
Formal Techniques for Safety-Critical SystemsCyrille Artho, Peter Csaba Ölveczky · 2014
New Frontiers In Artificial IntelligenceDaisuke Bekki · 2011
SysML for systems engineeringJon Holt · 2008- 📕Communicating embedded systemsClaude Jard · 2009
Formal methods for components and objectsFrank S. de Boer, Marcello M. Bonsangue · 2004
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Gödel's completeness theorem Gödel's completeness theorem is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability…
- Metalogic Metalogic is the metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and sound arguments, metalogic studies the…
- Syntax (logic) In logic, syntax is an arrangement of well-structured entities in the formal languages or formal systems that express something. Syntax is concerned with…
- Proof theory Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitati…
- First-order logic In mathematics, philosophy, linguistics, and computer science, first-order logic (FOL), also called predicate logic, predicate calculus, or quantificational…
- Outline of logic Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic…
- Formal proof In logic and mathematics, a formal proof or derivation is a finite sequence of sentences (known as well-formed formulas when relating to formal language)…
- Mathematical logic Mathematical logic is the study of logic within mathematics. This is commonly done by means of formal systems called formal logics that define rules of…