Отрицать – это глагол несовершенного вида. Соответствующего ему глагола совершенного вида в русском языке нет.
Это новое слово русского языка, и оно еще не зафиксировано словарями. Однако употребляется оно столь часто, что отрицать его существование нельзя. Оно вполне соответствует законам русского словообразования, ср.: ремонтопригодный.
Традиционно в русских текстах использовался вариант Ивиса. Такое написание фиксирует «Большая советская энциклопедия», этот же вариант сейчас используется и в русской «Википедии». Написание и произношение Ивиса отражается произношение этого названия в языке-источнике.
Однако бессмысленно отрицать, что сейчас в подавляющем большинстве случаев используется вариант Ибица. Можно лишь предполагать, как возникла такая форма – из-за незнания правильного варианта, произношения слова Ibiza «по буквам» или по другим причинам – но факт остается фактом: вариант Ибица практически вытеснил вариант Ивиса. Словари, однако, этот вариант пока не фиксируют.
1. По сложившейся орфографической традиции после приставки рас- пишется либо счит (рассчитывать, рассчитаться), либо чет (расчет, перерасчет).
Все эти слова являются однокоренными и связаны словообразовательными связями. Они содержат корень с чередованием -чит-(-чет-) и по правилу должны содержать два с – одно в приставке рас-, а другое в приставке с-. См. словообразовательную цепочку: считать – рассчитать – рассчитывать – перерассчитывать. Однако при образовании существительного расчет от глагола рассчитать одно с «теряется», и все слова, образующиеся от слова расчет, пишутся уже с одной с: расчет – перерасчет, расчет – расчетливый – расчетливо – нерасчетливо и т. д.
Обратите внимание, что слово бессчетный пишется по правилу, без потери согласной: считать – счет – бессчетный.
2. Ваш пунктуационный вариант возможен. Ошибки нет.
3. Когда-то привычные нам знаки тире, многоточие, кавычки были новыми. Они вошли в практику письма и были «узаконены» в правилах в ХVIII в., уже после того как М. В. Ломоносов сформулировал правила употребления запятой, точки с запятой, двоеточия и знаков конца предложения. Отрицать возможность появления и закрепления в правилах новых графических знаков (например, смайликов) нельзя. Однако если это и произойдет, то не скоро.
Орфографически возможно: астрент. Мы передадим Ваш вопрос Орфографической комиссии РАН.