Works matching IS 00393215 AND DT 1998 AND VI 60 AND IP 1

Results: 8

Normal Natural Deduction Proofs (in classical logic).

Published in:

Studia Logica, 1998, v. 60, n. 1, p. 67, doi. 10.1023/A:1005091418752

By:

Sieg, Wilfried;
Byrnes, John

Publication type:

Article

Strategic Construction of Fitch-style Proofs.

Published in:

Studia Logica, 1998, v. 60, n. 1, p. 45, doi. 10.1023/A:1005087316935

By:

Portoraro, Frederic

Publication type:

Article

Automated Natural Deduction in Thinker.

Published in:

Studia Logica, 1998, v. 60, n. 1, p. 3, doi. 10.1023/A:1005035316026

By:

Pelletier, Francis

Publication type:

Article

Note by the Guest Editors.

Published in:

Studia Logica, 1998, v. 60, n. 1, p. 1, doi. 10.1023/A:1005065031956

By:

Sieg, Wilfried;
Pfenning, Frank

Publication type:

Article

Linear Lambda-Terms and Natural Deduction.

Published in:

Studia Logica, 1998, v. 60, n. 1, p. 209, doi. 10.1023/A:1005016206457

By:

Mints, G.

Publication type:

Article

Encoding Modal Logics in Logical Frameworks.

Published in:

Studia Logica, 1998, v. 60, n. 1, p. 161, doi. 10.1023/A:1005060022386

By:

Avron, Arnon;
Honsell, Furio;
Miculan, Marino;
Paravano, Cristian

Publication type:

Article

Natural Deduction for Non-Classical Logics.

Published in:

Studia Logica, 1998, v. 60, n. 1, p. 119, doi. 10.1023/A:1005003904639

By:

Basin, David;
Matthews, Seán;
Viganò, Luca

Publication type:

Article

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic.

Published in:

Studia Logica, 1998, v. 60, n. 1, p. 107, doi. 10.1023/A:1005099619660

By:

Dyckhoff, Roy;
Pinto, Luis

Publication type:

Article