What Is This?

This is an HTML+RDFa representation of metadata describing this Web-addressable resource.

Why Is This Important?

The property (attributes and values pairs) links on this page unveil a different kind of link, one which enables the following on HTTP networks such as the Web:

  1. Unambiguous identity for entities (aka. strong identifiers)
  2. Implicit binding of an entity and its metadata via strong identifiers
  3. Multiple metadata representations that enable a variety of presentations
  4. High precision Search and Find queries that simply use the metadata documents (by referencing entity URIs) as the query's Data Source Name

How Do I Discover Alternative Metadata Representations?

This document exposes metadata in the following formats: (X)HTML+RDFa, Turtle, N3, RDF/JSON, or RDF/XML. In the most basic form, you can simply view the (X)HTML source markup of this page, and go directly to the <head/> section which contains a <link/> tag with relationship and type properties for each format.

In addition, you can also explicitly request a desired metadata representation for a given resource via HTTP GET requests that use the entity's strong identifier as the call target.

How Can I Expose My Web Resources In This Manner?

Simply include the following in the <head/> section of your (static or dynamically generated) (X)HTML page:

<link rel="alternate" title="My Data in RDF Linked Data form"
type="application/rdf+xml"
href="http://linkeddata.uriburner.com/about/id/<this-page-URL>/>"

How Is This Related To The Linked Data Meme?

As stated above, the links in this page expose strong identifiers for its primary topic, secondary topics, attributes, and some values. These links, via implicit association, act as conduits to their metadata-bearing documents, in a variety formats.

[OpenLink Software]

About: Sequent calculus - Wikipedia

An Entity of Type : Thing, from Data Source : https://en.wikipedia.org/wiki/Sequent_calculus, within Data Space : dev.restore.ovi.cnr.it:8890

  • References
  • Referenced By
content

og:title
  • Sequent calculus - Wikipedia
og:type
  • website
Title
  • Sequent calculus - Wikipedia
links to
  • https://en.wikipedia.org/wiki/Venn_diagram
  • https://en.wikipedia.org/wiki/De_Morgan%27s_laws
  • https://en.wikipedia.org/wiki/Category:Use_dmy_dates_from_March_2025
  • https://en.wikipedia.org/wiki/Atomic_formula
  • http://pvs.csl.sri.com/doc/pvs-prover-guide.pdf
  • https://en.wikipedia.org/wiki/Principle_of_explosion
  • https://en.wikipedia.org/wiki/Encyclopedia_of_Mathematics
  • https://en.wikipedia.org/wiki/European_Mathematical_Society
  • https://archive.org/details/proofstypes0000gira
  • https://en.wikipedia.org/wiki/Free_variables_and_bound_variables
  • https://wikimediafoundation.org/
  • https://donate.wikimedia.org/?wmf_sour..._campaign=en.wikipedia.org&uselang=en
  • https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use
  • https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy
  • https://foundation.wikimedia.org/wiki/...uage/Policy:Universal_Code_of_Conduct
  • https://developer.wikimedia.org
  • https://stats.wikimedia.org/#/en.wikipedia.org
  • https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement
  • https://www.mediawiki.org/
  • https://en.wikipedia.org/wiki/Wikipedia:Citation_needed
  • https://en.wikipedia.org/wiki/ISBN_(identifier)
  • https://en.wikipedia.org/wiki/Doi_(identifier)
  • https://en.wikipedia.org/wiki/Category:All_articles_with_unsourced_statements
  • https://en.wikipedia.org/wiki/S2CID_(identifier)
  • https://en.wikipedia.org/wiki/Category...sourced_statements_from_November_2018
  • https://en.wikipedia.org/wiki/Tautology_(logic)
  • https://en.wikipedia.org/wiki/Quantifier_(logic)
  • https://en.wikipedia.org/wiki/Argument
  • https://en.wikipedia.org/wiki/If_and_only_if
  • https://en.wikipedia.org/wiki/Logical_conjunction
  • https://en.wikipedia.org/wiki/Logical_disjunction
  • https://en.wikipedia.org/wiki/Multiset
  • https://en.wikipedia.org/wiki/Logical_consequence
  • https://en.wikipedia.org/wiki/Linear_logic
  • https://en.wikipedia.org/wiki/Metatheory
  • https://en.wikipedia.org/wiki/Set_(mathematics)
  • https://en.wikipedia.org/wiki/First-order_logic
  • https://en.wikipedia.org/wiki/Main_Page
  • https://en.wikipedia.org/wiki/Wikipedia:Contents
  • https://en.wikipedia.org/wiki/Portal:Current_events
  • https://en.wikipedia.org/wiki/Special:Random
  • https://en.wikipedia.org/wiki/Wikipedia:About
  • https://en.wikipedia.org/wiki/Wikipedia:Contact_us
  • https://en.wikipedia.org/wiki/Help:Contents
  • https://en.wikipedia.org/wiki/Help:Introduction
  • https://en.wikipedia.org/wiki/Wikipedia:Community_portal
  • https://en.wikipedia.org/wiki/Special:RecentChanges
  • https://en.wikipedia.org/wiki/Wikipedia:File_upload_wizard
  • https://en.wikipedia.org/wiki/Special:Search
  • https://en.wikipedia.org/wiki/Special:MyContributions
  • https://en.wikipedia.org/wiki/Special:MyTalk
  • https://en.wikipedia.org/wiki/Wikipedia:File_Upload_Wizard
  • https://en.wikipedia.org/wiki/Special:SpecialPages
  • https://en.wikipedia.org/wiki/Artificial_intelligence
  • https://en.wikipedia.org/wiki/Help:Category
  • https://en.wikipedia.org/wiki/Category:Articles_with_short_description
  • https://en.wikipedia.org/wiki/Category:Short_description_matches_Wikidata
  • https://en.wikipedia.org/wiki/Wikipedi...-ShareAlike_4.0_International_License
  • https://en.wikipedia.org/wiki/Wikipedia:General_disclaimer
  • https://en.wikipedia.org/wiki/SRI_International
  • https://en.wikipedia.org/wiki/Tree_(graph_theory)
  • https://en.wikipedia.org/wiki/Propositional_calculus
  • https://en.wikipedia.org/wiki/Truth_table
  • https://en.wikipedia.org/wiki/Patrick_Suppes
  • https://en.wikipedia.org/wiki/Stephen_Cole_Kleene
  • https://en.wikipedia.org/wiki/Formal_system
  • https://en.wikipedia.org/wiki/Intuitionistic_logic
  • https://en.wikipedia.org/wiki/Substructural_logic
  • https://zh.wikipedia.org/wiki/%E7%9B%B8%E7%BB%A7%E5%BC%8F%E6%BC%94%E7%AE%97
  • https://en.wikipedia.org/wiki/Karnaugh_map
  • https://en.wikipedia.org/wiki/Template:Diagrams_in_logic
  • https://en.wikipedia.org/w/index.php?t...agrams_in_logic&action=edit&redlink=1
  • https://en.wikipedia.org/wiki/Special:EditPage/Template:Diagrams_in_logic
  • https://en.wikipedia.org/wiki/Porphyrian_tree
  • https://en.wikipedia.org/wiki/Propositional_directed_acyclic_graph
  • https://en.wikipedia.org/wiki/Sentential_decision_diagram
  • https://en.wikipedia.org/wiki/Computer_science
  • https://en.wikipedia.org/wiki/Sequence
  • https://en.wikipedia.org/wiki/Axiom
  • https://en.wikipedia.org/wiki/David_Hilbert
  • https://www.wikimedia.org/
  • https://en.wikipedia.org/wiki/Oxford_University_Press
  • https://en.wikipedia.org/wiki/Semantics
  • https://en.wikipedia.org/wiki/Raymond_Smullyan
  • https://en.wikipedia.org/wiki/Admissible_rule
  • https://en.wikipedia.org/wiki/Natarajan_Shankar
  • https://en.wikipedia.org/wiki/John_Rushby
  • https://en.wikipedia.org/wiki/John_Lemmon
  • https://en.wikipedia.org/wiki/Category:Automated_theorem_proving
  • https://en.wikipedia.org/wiki/Category:Proof_theory
  • https://en.wikipedia.org/wiki/Propositional_logic
  • https://en.wikipedia.org/wiki/Turnstile_(symbol)
  • https://en.wikipedia.org/wiki/Natural_deduction
  • https://en.wikipedia.org/wiki/Modal_logic
  • https://en.wikipedia.org/wiki/Inference
  • https://en.wikipedia.org/wiki/Formal_proof
  • https://en.wikipedia.org/wiki/Classical_logic
  • https://en.wikipedia.org/wiki/Mathematical_logic
  • https://en.wikipedia.org/wiki/Mathematische_Zeitschrift
  • https://en.wikipedia.org/wiki/Square_of_opposition
  • https://en.wikipedia.org/wiki/Disjunction_and_existence_properties
  • https://en.wikipedia.org/wiki/Sequent_calculus#bodyContent
  • https://en.wikipedia.org/w/index.php?t...eateAccount&returnto=Sequent+calculus
  • https://en.wikipedia.org/w/index.php?t...l:UserLogin&returnto=Sequent+calculus
  • https://en.wikipedia.org/wiki/Sequent_calculus#
  • https://en.wikipedia.org/wiki/Sequent_calculus#Overview
  • https://en.wikipedia.org/wiki/Sequent_calculus#Hilbert-style_deduction_systems
  • https://en.wikipedia.org/wiki/Sequent_calculus#Natural_deduction_systems
  • https://en.wikipedia.org/wiki/Sequent_calculus#Sequent_calculus_systems
  • https://en.wikipedia.org/wiki/Sequent_...atural_deduction_and_sequent_calculus
  • https://en.wikipedia.org/wiki/Sequent_calculus#Origin_of_word_"sequent"
  • https://en.wikipedia.org/wiki/Sequent_calculus#Proving_logical_formulas
  • https://en.wikipedia.org/wiki/Sequent_calculus#Reduction_trees
  • https://en.wikipedia.org/wiki/Sequent_...#Relation_to_standard_axiomatizations
  • https://en.wikipedia.org/wiki/Sequent_calculus#The_system_LK
  • https://en.wikipedia.org/wiki/Sequent_calculus#An_intuitive_explanation
  • https://en.wikipedia.org/wiki/Sequent_calculus#Example_derivations
  • https://en.wikipedia.org/wiki/Sequent_calculus#Relation_to_analytic_tableaux
  • https://en.wikipedia.org/wiki/Sequent_calculus#Structural_rules
  • https://en.wikipedia.org/wiki/Sequent_calculus#Properties_of_the_system_LK
  • https://en.wikipedia.org/wiki/Sequent_calculus#Variants
  • https://en.wikipedia.org/wiki/Sequent_calculus#Minor_structural_alternatives
  • https://en.wikipedia.org/wiki/Sequent_calculus#Absurdity
  • https://en.wikipedia.org/wiki/Sequent_calculus#Substructural_logics
  • https://en.wikipedia.org/wiki/Sequent_...tionistic_sequent_calculus:_System_LJ
  • https://en.wikipedia.org/wiki/Sequent_calculus#See_also
  • https://en.wikipedia.org/wiki/Sequent_calculus#Notes
  • https://en.wikipedia.org/wiki/Sequent_calculus#References
  • https://en.wikipedia.org/wiki/Sequent_calculus#External_links
  • https://de.wikipedia.org/wiki/Sequenzenkalk%C3%BCl
  • https://es.wikipedia.org/wiki/C%C3%A1lculo_de_secuentes
  • https://eo.wikipedia.org/wiki/Sekva%C4%B5a_kalkulo
  • https://fr.wikipedia.org/wiki/Calcul_des_s%C3%A9quents
  • https://ko.wikipedia.org/wiki/%EC%8B%9C%ED%80%80%ED%8A%B8_%EA%B3%84%EC%82%B0
  • https://lt.wikipedia.org/wiki/Sekvencinis_skai%C4%8Diavimas
  • https://hu.wikipedia.org/wiki/Szekvenskalkulus
  • https://ja.wikipedia.org/wiki/%E3%82%B...8%E3%83%B3%E3%83%88%E8%A8%88%E7%AE%97
  • https://pl.wikipedia.org/wiki/Sekwenty_Gentzena
  • https://pt.wikipedia.org/wiki/C%C3%A1lculo_de_sequentes
  • https://ru.wikipedia.org/wiki/%D0%98%D...A%D0%B2%D0%B5%D0%BD%D1%86%D0%B8%D0%B9
  • https://uk.wikipedia.org/wiki/%D0%A7%D...A%D0%B2%D0%B5%D0%BD%D1%86%D1%96%D0%B9
  • https://www.wikidata.org/wiki/Special:EntityPage/Q1771121#sitelinks-wikipedia
  • https://en.wikipedia.org/wiki/Talk:Sequent_calculus
  • https://en.wikipedia.org/w/index.php?title=Sequent_calculus&action=edit
  • https://en.wikipedia.org/w/index.php?title=Sequent_calculus&action=history
  • https://en.wikipedia.org/wiki/Special:WhatLinksHere/Sequent_calculus
  • https://en.wikipedia.org/wiki/Special:RecentChangesLinked/Sequent_calculus
  • https://en.wikipedia.org/w/index.php?title=Sequent_calculus&oldid=1287216276
  • https://en.wikipedia.org/w/index.php?title=Sequent_calculus&action=info
  • https://en.wikipedia.org/w/index.php?t...1287216276&wpFormIdentifier=titleform
  • https://en.wikipedia.org/w/index.php?t...kipedia.org%2Fwiki%2FSequent_calculus
  • https://en.wikipedia.org/w/index.php?t...kipedia.org%2Fwiki%2FSequent_calculus
  • https://en.wikipedia.org/w/index.php?t..._calculus&action=show-download-screen
  • https://en.wikipedia.org/w/index.php?title=Sequent_calculus&printable=yes
  • https://www.wikidata.org/wiki/Special:EntityPage/Q1771121
  • https://en.wikipedia.org/w/index.php?t...equent_calculus&action=edit§ion=1
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-gentzen19341935-1
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-curry_cut_elimination-2
  • https://en.wikipedia.org/wiki/Sequent_...us#cite_note-kleene_cut_elimination-3
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-4
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-5
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-6
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-7
  • https://en.wikipedia.org/wiki/Automated_deduction
  • https://en.wikipedia.org/w/index.php?t...equent_calculus&action=edit§ion=2
  • https://en.wikipedia.org/w/index.php?t...equent_calculus&action=edit§ion=3
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-8
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-9
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-10
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-11
  • https://en.wikipedia.org/w/index.php?t...equent_calculus&action=edit§ion=4
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-pvs-prover-12
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-13
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-14
  • https://en.wikipedia.org/w/index.php?t...equent_calculus&action=edit§ion=5
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-15
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-16
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-17
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-18
  • https://en.wikipedia.org/w/index.php?t...equent_calculus&action=edit§ion=6
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-19
  • https://en.wikipedia.org/w/index.php?t...equent_calculus&action=edit§ion=7
  • https://en.wikipedia.org/w/index.php?t...equent_calculus&action=edit§ion=8
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-Cornell09-20
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-Wadler-21
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-Tait-22
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-23
  • https://en.wikipedia.org/w/index.php?t...equent_calculus&action=edit§ion=9
  • https://en.wikipedia.org/wiki/Propositional_calculus#Łukasiewicz's_P2
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=10
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-24
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=11
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=12
  • https://en.wikipedia.org/wiki/Completeness_of_atomic_initial_sequents
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=13
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=14
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-25
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=15
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=16
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-26
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=17
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=18
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=19
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=20
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=21
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-27
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_note-28
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=22
  • https://en.wikipedia.org/wiki/Cirquent_calculus
  • https://en.wikipedia.org/wiki/Nested_sequent_calculus
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=23
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-gentzen19341935_1-0
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-gentzen19341935_1-1
  • https://en.wikipedia.org/wiki/Sequent_calculus#CITEREFGentzen1934
  • https://en.wikipedia.org/wiki/Sequent_calculus#CITEREFGentzen1935
  • https://en.wikipedia.org/wiki/Sequent_...us#cite_ref-curry_cut_elimination_2-0
  • https://en.wikipedia.org/wiki/Sequent_...us#cite_ref-curry_cut_elimination_2-1
  • https://en.wikipedia.org/wiki/Sequent_calculus#CITEREFCurry1977
  • https://en.wikipedia.org/wiki/Sequent_...s#cite_ref-kleene_cut_elimination_3-0
  • https://en.wikipedia.org/wiki/Sequent_...s#cite_ref-kleene_cut_elimination_3-1
  • https://en.wikipedia.org/wiki/Sequent_calculus#CITEREFKleene2009
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-4
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-5
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-6
  • https://en.wikipedia.org/wiki/Sequent_calculus#CITEREFKleene2002
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-7
  • https://en.wikipedia.org/wiki/Sequent_calculus#CITEREFSmullyan1995
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-8
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-9
  • https://en.wikipedia.org/wiki/Sequent_calculus#CITEREFSuppes1999
  • https://en.wikipedia.org/wiki/System_L
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-10
  • https://en.wikipedia.org/wiki/Sequent_calculus#CITEREFLemmon1965
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-11
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-pvs-prover_12-0
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-13
  • https://en.wikipedia.org/wiki/Sequent_calculus#CITEREFHilbertBernays1970
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-14
  • https://en.wikipedia.org/wiki/Sequent_calculus#CITEREFBuss1998
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-15
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-16
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-17
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-18
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-19
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-Cornell09_20-0
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-Cornell09_20-1
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-Cornell09_20-2
  • http://www.cs.cornell.edu/courses/cs4860/2009sp/lec-09.pdf
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-Wadler_21-0
  • https://www.youtube.com/watch?v=OGF-TG..._FXPo2jB6IZ887vLXsPoympL3KEy&index=11
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-Tait_22-0
  • https://doi.org/10.1007/978-3-319-10103-3_8
  • https://doi.org/10.1007%2F978-3-319-10103-3_8
  • https://en.wikipedia.org/wiki/Special:BookSources/978-3-319-10102-6
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-23
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-24
  • https://link.springer.com/chapter/10.1007/978-3-030-57145-0_2
  • https://doi.org/10.1007%2F978-3-030-57145-0_2
  • https://en.wikipedia.org/wiki/Special:BookSources/978-3-030-57144-3
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-25
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-26
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-27
  • https://en.wikipedia.org/wiki/Sequent_calculus#cite_ref-28
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=24
  • http://math.ucsd.edu/~sbuss/ResearchWeb/handbookI/
  • https://en.wikipedia.org/wiki/Special:BookSources/978-0-486-63462-3
  • http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375508
  • https://doi.org/10.1007%2FBF01201353
  • https://api.semanticscholar.org/CorpusID:121546341
  • http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375605
  • https://doi.org/10.1007%2Fbf01201363
  • https://api.semanticscholar.org/CorpusID:186239837
  • https://en.wikipedia.org/wiki/Special:BookSources/978-3-642-86897-9
  • https://en.wikipedia.org/wiki/Special:BookSources/978-0-923891-57-2
  • https://en.wikipedia.org/wiki/Special:BookSources/0-17-712040-1
  • https://en.wikipedia.org/wiki/Richard_Zach
  • https://en.wikipedia.org/wiki/Special:BookSources/978-0-19-289593-6
  • https://en.wikipedia.org/wiki/Special:BookSources/978-0-486-40687-9
  • https://en.wikipedia.org/w/index.php?t...quent_calculus&action=edit§ion=25
  • https://plato.stanford.edu/archives/win2024/entries/proof-theory/#SequCalc
  • https://www.encyclopediaofmath.org/index.php?title=Sequent_calculus
  • https://scienceblogs.com/goodmath/2006/07/17/a-brief-diversion-sequent-calc/
  • http://logitext.mit.edu/logitext.fcgi/tutorial
  • https://en.m.wikipedia.org/w/index.php...culus&mobileaction=toggle_view_mobile
  • https://en.wikipedia.org/wiki/Stanford_Encyclopedia_of_Philosophy
  • https://en.wikipedia.org/wiki/Edward_N._Zalta
  • https://en.wikipedia.org/wiki/Binary_decision_diagram
  • https://en.wikipedia.org/wiki/Sequence_(mathematics)
  • https://en.wikipedia.org/wiki/Gerhard_Gentzen
  • https://en.wikipedia.org/wiki/Category:Logical_calculi
  • https://en.wikipedia.org/wiki/Sequent_calculus#Inference_rules
  • https://en.wikipedia.org/wiki/Hypothesis
  • https://en.wikipedia.org/wiki/Soundness
  • https://en.wikipedia.org/wiki/Well-formed_formula
  • https://en.wikipedia.org/wiki/Theorem
  • https://en.wikipedia.org/wiki/Consistency
  • https://en.wikipedia.org/wiki/Free_variable
  • https://en.wikipedia.org/wiki/Haskell_Curry
xhv:alternate
  • http://dev.restore.ovi.cnr.it:8890/abo...title=Special:RecentChanges&feed=atom
  • https://en.wikipedia.org/w/index.php?title=Special:RecentChanges&feed=atom
  • http://dev.restore.ovi.cnr.it:8890/abo...hp?title=Sequent_calculus&action=edit
  • http://dev.restore.ovi.cnr.it:8890/abo...m.wikipedia.org/wiki/Sequent_calculus
  • https://en.wikipedia.org/w/index.php?title=Sequent_calculus&action=edit
  • https://en.m.wikipedia.org/wiki/Sequent_calculus
xhv:icon
xhv:license
  • Deed - Attribution-ShareAlike 4.0 International - Creative Commons
xhv:stylesheet
  • http://dev.restore.ovi.cnr.it:8890/abo...e.styles&only=styles&skin=vector-2022
  • http://dev.restore.ovi.cnr.it:8890/abo...ent.init&only=styles&skin=vector-2022
mw:PageProp/toc
primary topic
  • https://en.wikipedia.org/wiki/Sequent_calculus
Alternative Linked Data Views: Facets | iSPARQL | ODE     Raw Linked Data formats: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD
This material is Open Knowledge   W3C Semantic Web Technology     This material is Open Knowledge Creative Commons License Valid XHTML + RDFa
This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.
OpenLink Virtuoso version 07.20.3231, on Linux (x86_64-generic_glibc25-linux-gnu), Single Edition