Completeness of a functional system for surjective functions
From MaRDI portal
Recommendations
- On the completeness of a system of functions
- Completeness and basicity for a certain system of functions
- scientific article; zbMATH DE number 176668
- Completeness and minimality of certain systems of functions
- scientific article; zbMATH DE number 3951249
- On equivalence of completeness of two systems of functions
- scientific article; zbMATH DE number 3905175
- Completeness of function spaces
- scientific article; zbMATH DE number 25104
- scientific article; zbMATH DE number 908159
Cites work
- A decidable temporal logic of parallelism
- A finite axiomatization of the set of strongly valid Ockhamist formulas
- A functional approach for temporal \(\times\) modal logics
- A modal logic framework for reasoning about comparative distances and topology
- Alternating-time logic with imperfect recall
- Analyzing completeness of axiomatic functional systems for temporal modal logics
- Dynamic topological S5
- Handbook of Spatial Logics
- scientific article; zbMATH DE number 1028831 (Why is no real title available?)
- scientific article; zbMATH DE number 1028832 (Why is no real title available?)
- scientific article; zbMATH DE number 3363520 (Why is no real title available?)
- scientific article; zbMATH DE number 2229435 (Why is no real title available?)
- Line-based affine reasoning in Euclidean plane
- Non-deterministic semantics for dynamic topological logic
- Temporal logics of knowledge and their applications in security
- The algebra of topology
- Time, clocks, and the ordering of events in a distributed system
- Topological Semantics of Justification Logic
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
Cited in
(2)
This page was built for publication: Completeness of a functional system for surjective functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5108132)
