Works matching IS 09425616 AND DT 2000 AND VI 46 AND IP 2
Results: 11
Cumulative Higher-Order Logic as a Foundation for Set Theory.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 147, doi. 10.1002/(SICI)1521-3870(200005)46:2<147::AID-MALQ147>3.0.CO;2-2
- By:
- Publication type:
- Article
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 171, doi. 10.1002/(SICI)1521-3870(200005)46:2<171::AID-MALQ171>3.0.CO;2-E
- By:
- Publication type:
- Article
Fixed-points of Set-continuous Operators.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 183, doi. 10.1002/(SICI)1521-3870(200005)46:2<183::AID-MALQ183>3.0.CO;2-2
- By:
- Publication type:
- Article
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 199, doi. 10.1002/(SICI)1521-3870(200005)46:2<199::AID-MALQ199>3.0.CO;2-B
- By:
- Publication type:
- Article
A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 207, doi. 10.1002/(SICI)1521-3870(200005)46:2<207::AID-MALQ207>3.0.CO;2-E
- By:
- Publication type:
- Article
Paracompactness of Metric Spaces and the Axiom of Multiple Choice.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 219, doi. 10.1002/(SICI)1521-3870(200005)46:2<219::AID-MALQ219>3.0.CO;2-2
- By:
- Publication type:
- Article
The Essentially Equational Theory of Horn Classes.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 233, doi. 10.1002/(SICI)1521-3870(200005)46:2<233::AID-MALQ233>3.0.CO;2-I
- By:
- Publication type:
- Article
Martin's Axiom and the Dual Distributivity Number.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 241, doi. 10.1002/(SICI)1521-3870(200005)46:2<241::AID-MALQ241>3.0.CO;2-M
- By:
- Publication type:
- Article
Translating IΔ<sub>0</sub> + exp Proofs into Weaker Systems.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 249, doi. 10.1002/(SICI)1521-3870(200005)46:2<249::AID-MALQ249>3.0.CO;2-R
- By:
- Publication type:
- Article
Prototype Proofs in Type Theory.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 257, doi. 10.1002/(SICI)1521-3870(200005)46:2<257::AID-MALQ257>3.0.CO;2-V
- By:
- Publication type:
- Article
Logics of Complementarity in Information Systems.
- Published in:
- Mathematical Logic Quarterly, 2000, v. 46, n. 2, p. 267, doi. 10.1002/(SICI)1521-3870(200005)46:2<267::AID-MALQ267>3.0.CO;2-R
- By:
- Publication type:
- Article