Article

Natural semantics and some of its meta-theory in Elf

Authors:

Spiro Michaylov,

Frank PfenningAuthors Info & Claims

ELP'91: Conference Proceedings on Extensions of logic programming

Pages 299 - 344

Published: 03 January 1992 Publication History

Abstract

No abstract available.

Cited By

View all

Pfenning F(2001)Logical frameworksHandbook of automated reasoning10.5555/778522.778526(1063-1147)Online publication date: 1-Jan-2001
https://dl.acm.org/doi/10.5555/778522.778526
Hannan JHicks PMacQueen DCardelli L(1998)Higher-order unCurryingProceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/268946.268947(1-11)Online publication date: 21-Jan-1998
https://dl.acm.org/doi/10.1145/268946.268947
Cervesato IPfenning F(1996)A Linear Logical FrameworkProceedings of the 11th Annual IEEE Symposium on Logic in Computer Science10.5555/788018.788831Online publication date: 27-Jul-1996
https://dl.acm.org/doi/10.5555/788018.788831
Show More Cited By

Index Terms

Natural semantics and some of its meta-theory in Elf
1. Mathematics of computing
  1. Continuous mathematics
    1. Calculus
      1. Lambda calculus
  2. Mathematical analysis
    1. Calculus
      1. Lambda calculus
2. Theory of computation
  1. Logic
    1. Constraint and logic programming
  2. Semantics and reasoning
    1. Program constructs
      1. Type structures
    2. Program semantics
      1. Operational semantics

Recommendations

Automating the meta theory of deductive systems
Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic
Logical Foundations of Computer Science
Abstract
Artemov and Protopopescu proposed intuitionistic epistemic logic (IEL) to capture an intuitionistic conception of knowledge. By establishing completeness, they provided the base for a meta-theoretic investigation of IEL, which was continued by ...
Meta-predicate semantics
LOPSTR'11: Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation

We describe and compare design choices for meta-predicate semantics, as found in representative Prolog predicate-based module systems and in Logtalk. We look at the consequences of these design choices from a pragmatic perspective, discussing explicit ...

Comments

Information & Contributors

Information

Published In

ELP'91: Conference Proceedings on Extensions of logic programming

January 1992

369 pages

ISBN:038755498X

Editors:
Lars-Henrik Eriksson
Swedish Institute Of Computer Science, Kista, Sweden
,
Lars Hallnäs
Chalmers Univ. of Technology, Go¨teborg, Sweden
,
Peter Schroeder-Heister
Univ. Tu¨Bingen, Tu¨bingen, Germany

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 03 January 1992

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pfenning F(2001)Logical frameworksHandbook of automated reasoning10.5555/778522.778526(1063-1147)Online publication date: 1-Jan-2001
https://dl.acm.org/doi/10.5555/778522.778526
Hannan JHicks PMacQueen DCardelli L(1998)Higher-order unCurryingProceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/268946.268947(1-11)Online publication date: 21-Jan-1998
https://dl.acm.org/doi/10.1145/268946.268947
Cervesato IPfenning F(1996)A Linear Logical FrameworkProceedings of the 11th Annual IEEE Symposium on Logic in Computer Science10.5555/788018.788831Online publication date: 27-Jul-1996
https://dl.acm.org/doi/10.5555/788018.788831
Hannan JSchmidt D(1993)Searching for semanticsProceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation10.1145/154630.154631(1-12)Online publication date: 1-Aug-1993
https://dl.acm.org/doi/10.1145/154630.154631

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Automating the meta theory of deductive systems

Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic

Meta-predicate semantics

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations