×

Found 35 Documents (Results 1–35)

Intuitionistic necessity revisited. (English) Zbl 1041.03013

Haeusler, Edward Hermann (ed.) et al., PRATICA. Proofs, types and categories. Selected papers from PRATICA’95, PRATICA’96 and PRATICA’98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro (ISBN 85-900900-1-9/pbk). 55-78 (1999).
MSC:  03B45 03G30
PDFBibTeX XMLCite

Mutual transformation of sequent and natural deductions in modal logic. (Russian. English summary) Zbl 1004.03016

Karpenko, A. S. (ed.) et al., Logical investigations. No. 6. Papers from the 1st international conference “Smirnov’s Readings”, Moscow, Russia, March 1997. Moscow: Izdatel’stvo “Rossijskaya Politicheskaya Ehntsiklopediya” (ROSSPEHN). 61-68 (1999).
MSC:  03B45
PDFBibTeX XMLCite

Structured argument generation in a logic-based KB-system. (English) Zbl 0956.03033

Moss, Lawrence S. (ed.) et al., Logic, language and computation. Vol 2. Proceedings of the 2nd conference on information-theoretic approaches to logic, language and computation (ITALLC), London, UK, July 1996. Stanford, CA: CSLI Publications. CSLI Lect. Notes. 96, 237-265 (1999).
PDFBibTeX XMLCite

Labelled natural deduction. (English) Zbl 0954.03008

Ohlbach, Hans Jürgen (ed.) et al., Logic, language and reasoning. Essays in honour of Dov Gabbay. Dordrecht: Kluwer Academic Publishers. Trends Log. Stud. Log. Libr. 5, 173-250 (1999).
PDFBibTeX XMLCite

Proof normalization of structured algebraic specifications is convergent. (English) Zbl 0946.03039

Fiadeiro, José Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 326-340 (1999).
PDFBibTeX XMLCite

Rasiowa-Sikorski deduction systems: A handy tool for computer science logics. (English) Zbl 0949.03006

Fiadeiro, José Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 183-197 (1999).
Reviewer: M.Duží (Opava)
PDFBibTeX XMLCite

Formalizing a lazy substitution proof system for \(\mu\)-calculus in the calculus of inductive constructions. (English) Zbl 0939.03024

Wiedermann, Jiří (ed.) et al., Automata, languages and programming. 26th international colloquium, ICALP ‘99. Prague, Czech Republic, July 11-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1644, 554-564 (1999).
MSC:  03B44 03B35 68T15 68Q42
PDFBibTeX XMLCite

Proof search in constructive logics. (English) Zbl 0939.03062

Cooper, S. Barry (ed.) et al., Sets and proofs. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 258, 53-65 (1999).
PDFBibTeX XMLCite

Mathematical vernacular and conceptual well-formedness in mathematical language. (English) Zbl 0934.03016

Lecomte, Alain (ed.) et al., Logical aspects of computational linguistics. 2nd international conference, LACL ’97. Nancy, France, September 22-24, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1582, 231-250 (1999).
MSC:  03B35 68T50 03B65 68T15 00A35
PDFBibTeX XMLCite

A tableau calculus for pronoun resolution. (English) Zbl 0932.03011

Murray, Neil V. (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1617, 247-262 (1999).
MSC:  03B35 68T50 68T15
PDFBibTeX XMLCite

Relating natural deduction and sequent calculus for intuitionistic non-commutative linear logic. (English) Zbl 0926.03076

Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 20, electronic paper No. 26 (1999).
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Main Field

all top 3

Software